Rename debian/TODO.Debian to debian/TODO
authorStephane Glondu <steph@glondu.net>
Tue, 14 Jan 2020 12:54:14 +0000 (13:54 +0100)
committerStéphane Glondu <glondu@debian.org>
Tue, 14 Jan 2020 12:59:33 +0000 (13:59 +0100)
commita593fb764b5a9669f1574f7c4d44ad551303e063
treee88f1b7f4ebb752115981dd59fef9264041d5006
parent7cf42eda9af9476a8d9ad31575562dd60b57715b
Rename debian/TODO.Debian to debian/TODO
debian/TODO [new file with mode: 0644]
debian/TODO.Debian [deleted file]