]> git.droids-corp.org - diff2html.git/tree
git.droids-corp.org / diff2html.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
snapshot
cosmetic: replace "type" by "type_name"
-rw-r--r-- 79 .gitignore blob | history | raw
-rw-r--r-- 11928 diff2html.py blob | history | raw
python script to generate a colored diff in html