aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authortomsmeding <tom.smeding@gmail.com>2019-03-10 18:49:04 +0100
committertomsmeding <tom.smeding@gmail.com>2019-03-10 18:49:09 +0100
commit878eb45b3eb77ab309104f7e7b8480a8d12e04ad (patch)
treeb6f7a137a91294d08a2fc5fa300fde05046dc422 /.gitignore
parent48d6f83c36f55471ba66281e6d9b272fb4b336f2 (diff)
Repeat commands; add functor proof
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions