?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Fixes problem with EXTRA_DIST
[maxima.git] / doc / .gitignore
blob282522db0342d8750454b3dc162493b5fc709cc8
1 Makefile
2 Makefile.in
Maxima, a Computer Algebra System