weaselab/conflict-set
2
0
Fork 0
Code Issues 4 Packages Releases 13 Activity

Don't check paper/version.txt into version control
Some checks reported errors
weaselab/conflict-set/pipeline/head Something is wrong with the build of this commit
Details

Browse Source 
But also don't remove it in `make -C paper clean`
This commit is contained in:
Andrew Noyes
2024-06-25 19:21:14 -07:00
parent 2c0adf4a8b
commit add0af11ad
2 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
paper/.gitignore vendored
View File

@@ -10,3 +10,4 @@
*.pdf
*.run.xml
*.synctex.gz
version.txt