diff options
| author | jvoisin | 2018-04-23 00:11:25 +0200 |
|---|---|---|
| committer | jvoisin | 2018-04-23 00:11:25 +0200 |
| commit | 42aa32fb357f19cd68e55a1032c7f34364810d33 (patch) | |
| tree | cbff00bfbcd6d5e8f3c0715c498ef903c5f06e18 /doc/implementation_notes.md | |
| parent | 9e485c0dad6cf67d73992efe871f68fe91b6a507 (diff) | |
Simplify a bit the main.py file
Diffstat (limited to 'doc/implementation_notes.md')
0 files changed, 0 insertions, 0 deletions