]> git.codecow.com Git - Monocypher.git/commit
projects / Monocypher.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db2f870) | patch
Properly ignore the formal-analysis folder
authorLoup Vaillant <loup@loup-vaillant.fr>
Sun, 17 Jun 2018 17:30:41 +0000 (19:30 +0200)
committerLoup Vaillant <loup@loup-vaillant.fr>
Sun, 17 Jun 2018 17:30:41 +0000 (19:30 +0200)
commitab2010f1c1f4ec7f5ee10ba524c4e9c29792ae81
tree5ed09ed97fe864b8f0b9fc6751547feb69be436btree | snapshot
parentdb2f87049082e592e150b9db9d80703e54e4f6a1commit | diff
Properly ignore the formal-analysis folder

The way it was done earlier was also ignoring the formal-analysis.sh
script, which was then absent from the tarball releases.
.gitignore diff | blob | history
tarball_ignore diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.