Cleaner patch for adding .file directives (Closes: #796336)
authorStephane Glondu <steph@glondu.net>
Fri, 21 Aug 2015 20:04:34 +0000 (22:04 +0200)
committerStephane Glondu <steph@glondu.net>
Fri, 21 Aug 2015 21:34:14 +0000 (23:34 +0200)
commitadd91ac9b518ee9dfe1bc74dfb49512fea091852
tree137faec1f872751da373f13f4173f54a9851d309
parentc83e1f92ed45eef515be89a449bfc423d84e02b3
Cleaner patch for adding .file directives (Closes: #796336)
debian/patches/0010-Add-a-.file-directive-to-generated-.s-files.patch [new file with mode: 0644]
debian/patches/0010-Add-a-.file-directive-to-startup-.s-files-for-reprod.patch [deleted file]
debian/patches/series