eburk/libflint
1
0
Fork 0
Code Actions Wiki Activity

remove lf naming scheme

Browse Source
This commit is contained in:
Evan Burkey
2023-07-12 11:32:21 -07:00
parent beee62023c
commit a029765cf4
26 changed files with 29 additions and 30 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
.gitignore vendored
View File

@ -2,5 +2,4 @@ cmake*
.cache
build
compile_commands.json
docs
site/
site