diff options
| author | Diego Roversi <diegor@tiscali.it> | 2020-05-23 09:56:38 +0200 |
|---|---|---|
| committer | Diego Roversi <diegor@tiscali.it> | 2020-05-23 09:56:38 +0200 |
| commit | 0069108a2cd7129387c940bd642a46fae5e7e8d2 (patch) | |
| tree | 63619e47f73d7481111b2280d32f6a0d9a9db485 /http2/config.txt | |
| parent | d1b895d07747fc102a056b1f81895bbbeb0236ff (diff) | |
removed some file that should not be in git
Diffstat (limited to 'http2/config.txt')
| -rw-r--r-- | http2/config.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/http2/config.txt b/http2/config.txt deleted file mode 100644 index 0af71a3..0000000 --- a/http2/config.txt +++ /dev/null @@ -1 +0,0 @@ -{'queen': {}, '*': {'finalboard': '100', 'beginboard': '1', 'extralife': '50000', 'autoreset': 'n', 'lvlend': 'y', 'lifegainlimit': '1', 'metapublish': 'y', 'limit': 'n', 'file': 'levels/Levels.bin', 'time': '1567957746.48', 'lives': '3', 'stepboard': '1'}} |