summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorstuebinm2021-06-08 16:04:23 +0200
committerstuebinm2021-06-08 16:08:07 +0200
commit41cc0560362ad402a91e1eb006935865b7c42d97 (patch)
treeded65d7758cb2cf60522a3a6b3fcea03ae7a6720 /.gitignore
parent4cba21106d13aa021b2757a3a550244a884cfccf (diff)
turing machine in nix
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions