]> rtime.felk.cvut.cz Git - omk.git/history - .gitignore
projects / omk.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Use synctex to ease documentation editting
[omk.git] / .gitignore
2008-10-30 Michal SojkaAdded .gitignore files blob | commitdiff | raw
Ocera Make System