about summary refs log tree commit diff stats
path: root/.gitignore
diff options
context:
space:
mode:
authorAndinus <andinus@nand.sh>2020-06-17 17:00:55 +0530
committerAndinus <andinus@nand.sh>2020-06-17 17:00:55 +0530
commit335c080d974462c3795c5da0292157d7d4a72188 (patch)
tree71ef05dc4421d8d4fd6f28b79fe5d43aec74b15d /.gitignore
parent430e6c16eb07531df436a42e34a667477c3e469a (diff)
downloadcrux-335c080d974462c3795c5da0292157d7d4a72188.tar.gz
Add crux.pl, Initial commit
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions