https://github.com/homalg-project/homalg_project
Raw File
Tip revision: 05c74021b09cae8c8e2c7e15a76fdbb1e56035d2 authored by Mohamed Barakat on 01 May 2020, 15:23:54 UTC
fixed precision for several 4ti2 binaries "arb" -> "gmp"
Tip revision: 05c7402
.gitignore
# git-ls-files --others --exclude-from=.git/info/exclude
# Lines that start with '#' are comments.
# For a project mostly in C, the following would be a good set of
# exclude patterns (uncomment them if you want to use them):
# *.[oa]
*~
bin
change.log
VERSION
public_html
public_html.version
doc/*.pdf
doc/*.html
doc/*.txt
doc/*.six
doc/*Bib.xml
doc/*Bib.xml.bib
doc/*.aux
doc/*.bbl
doc/*.blg
doc/*.brf
doc/*.idx
doc/*.ilg
doc/*.ind
doc/*.log
doc/*.pnr
doc/*.tex
doc/*.toc
doc/*.out
doc/manual.lab
*.DS_Store
back to top