]> git.donarmstrong.com Git - debian/debian-policy.git/history - Makefile
projects / debian / debian-policy.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
gzipped ps and pdf (hm, there should probably be a way to make the .gz rules more...
[debian/debian-policy.git] / Makefile
2005-06-16 Manoj Srivastavagzipped ps and pdf (hm, there should probably be a... blob | commitdiff | raw
2005-06-16 Manoj Srivastavaused some proper makefile dependencies, less crufty... blob | commitdiff | raw | diff to current
Unnamed repository; edit this file 'description' to name the repository.