Add Mark-overridden-methods-in-asmcomp-selection.ml-fix-.patch
authorStephane Glondu <steph@glondu.net>
Sun, 18 Apr 2010 16:32:37 +0000 (18:32 +0200)
committerStephane Glondu <steph@glondu.net>
Sun, 18 Apr 2010 17:13:19 +0000 (19:13 +0200)
commit2ff245b5fde26110b9eed0de195362eafe59c663
tree5fd0d39a7792b2b0e5124b3d164e384aa19a7ab8
parent62015a4f57db804a418ae8624a7ff2951b80ffc0
Add Mark-overridden-methods-in-asmcomp-selection.ml-fix-.patch
debian/patches/0008-Mark-overridden-methods-in-asmcomp-selection.ml-fix-.patch [new file with mode: 0644]
debian/patches/series