Revision e27c0208557fb421d29f942e0f75ca86b84c3d7a authored by Mohamed Barakat on 22 March 2017, 14:55:21 UTC, committed by Mohamed Barakat on 23 March 2017, 15:01:23 UTC
installed * INSTALL_TODO_LIST_ENTRIES_FOR_MORPHISMS_AND_IMAGE_EMBEDDINGS
1 parent 2ae2b91
.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
Computing file changes ...
