 Karl
|
df3e8a622f
|
replace hint placeholders #5
|
2017-08-14 19:36:42 +02:00 |
|
 Karl-Martin Zimmermann
|
fdeaa1f883
|
fixed data.json #6
|
2017-08-14 12:20:41 +02:00 |
|
|
Karl
|
c4deeeb4d2
|
adding titles
|
2017-08-11 18:39:08 +02:00 |
|
|
Karl
|
988a9f0af8
|
fix typos
|
2017-08-11 17:25:43 +02:00 |
|
|
Karl-Martin Zimmermann
|
c25908d8be
|
fix data.json
|
2017-08-11 16:02:22 +02:00 |
|
|
Karl-Martin Zimmermann
|
c510ee144b
|
new config
|
2017-08-11 15:55:34 +02:00 |
|
 Sven Zemanek
|
e39359e1ef
|
now stores state in JSON file, added utility to create JSON file
|
2015-03-20 19:45:03 +01:00 |
|