diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-09-16 11:37:52 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-09-16 11:37:52 +0200 |
| commit | d10866be04d45fc73eddce0ec7005161e69e97a2 (patch) | |
| tree | 40e73cbf3e44c6b41926010d29e9b3025becaee0 /.gitignore | |
| parent | fc502942d67e9d9854a2ef5a67dcadd831a75b28 (diff) | |
Removed the "run" and "break" buttons. Removed commented-out code from prolog and python handlers.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions