summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAleš Smodiš <aless@guru.si>2015-09-18 16:41:40 +0200
committerAleš Smodiš <aless@guru.si>2015-09-18 16:41:40 +0200
commit45e1dc64a3f36222eb775a00157f587ebdaabd2d (patch)
treed0af88b4c8ac688ba4708994c02c72e42a54f9a8 /.gitignore
parentda92df9761b52f6d24d2241080121cc5bef5e932 (diff)
Enable auto-history in prolog console.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions