?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Update Make.
[hocat.git] / .gitignore
blobcce034d76244b66045b7ca0647b1802931011611
1 *~
2 *.vo
3 *.glob
4 *.v.d
5 \#*#
6 .\#*
7 Makefile