summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAleš Smodiš <aless@guru.si>2015-09-16 11:37:52 +0200
committerAleš Smodiš <aless@guru.si>2015-09-16 11:37:52 +0200
commitd10866be04d45fc73eddce0ec7005161e69e97a2 (patch)
tree40e73cbf3e44c6b41926010d29e9b3025becaee0 /.gitignore
parentfc502942d67e9d9854a2ef5a67dcadd831a75b28 (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