]> git.pld-linux.org Git - packages/source-highlight.git/history - source-highlight-info.patch
projects / packages / source-highlight.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
boost rebuild
[packages/source-highlight.git] / source-highlight-info.patch
2019-10-08 Jakub Bogusz- adjust also source-highlight-lib.info direntry in... auto/th/source-highlight-3.1.8-9 commit | commitdiff
2015-04-22 Jakub Bogusz- updated to 3.1.8 auto/th/source-highlight-3.1.8-1 commit | commitdiff
2013-07-09 Jan Rękorajski- fix for texinfo 5.1 auto/th/source-highlight-3.1.7-4 commit | commitdiff
2012-06-24 Jakub Bogusz- unify direntry commit | commitdiff
GNU Source Highlight
This page took 0.395052 seconds and 6 git commands to generate.