K 10
svn:author
V 6
johans
K 8
svn:date
V 27
2015-01-25T18:01:43.788722Z
K 7
svn:log
V 114
- Update BibTool to 2.57
- Provide docs as PDF rather than DVI
- Remove patch files no longer needed
- Adopt port

END