summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-29 08:59:28 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-29 08:59:28 +0100
commitb893261f079b79b72db2bd7e8e67c36313d04237 (patch)
treeda8df5b6b1de8f4c03edd9b0d72e66e6ba4b06a1 /.gitignore
parent6a220f4485994af4103424a72d27153c4dd65a25 (diff)
Prolog: hide all but the first problem group
Hopefully nobody is using the app yet for self-study….
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions