This project is archived. Its data is
read-only
.
debian/1.13.1-1
fe5cd759
·
debian/patches/01-texi-rename.diff: Refresh patch.
·
May 12, 2013