Tidy away some more unused things

This commit is contained in:
Ramana Kumar 2022-11-02 20:29:20 +00:00
parent 3b0d68036b
commit cd9d142079
No known key found for this signature in database
GPG Key ID: ED471C788B900433
3 changed files with 0 additions and 4342 deletions

9
.gitignore vendored
View File

@ -1,15 +1,6 @@
*.o *.o
*.a *.a
*_test
*_bench
*_debug
*_tune
*.prof
*.out *.out
*.log
src/*_tune.c
tmp/
doc/
inc/blst.h* inc/blst.h*
inc/blst_aux.h* inc/blst_aux.h*
.vscode/ .vscode/

2539
Doxyfile

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff