about summary refs log tree commit diff stats
path: root/.gitignore
diff options
context:
space:
mode:
authorAndinus <andinus@nand.sh>2020-11-10 13:31:19 +0530
committerAndinus <andinus@nand.sh>2020-11-10 13:31:19 +0530
commit85f37b13c99e91662f40f046927a48e08fd0951b (patch)
tree0530e00890a09df0ba0875b0282a7544b7536b30 /.gitignore
parent10f63e16f6e78e453a07e221ac74ce3226ea3a9e (diff)
downloadcrux-master.tar.gz
Reduce dependencies, don't die if directory to unveil doesn't exist HEAD v0.1.0 master
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions