Skip to content
GitLab
Explore
Sign in
Register
debian/1.13.1-1
fe5cd759
·
debian/patches/01-texi-rename.diff: Refresh patch.
·
May 12, 2013