| author | Stephane Glondu <steph@glondu.net> | |
| Tue, 8 Jul 2008 11:23:53 +0000 (13:23 +0200) | ||
| committer | Stephane Glondu <steph@glondu.net> | |
| Tue, 8 Jul 2008 11:23:53 +0000 (13:23 +0200) |
| debian/patches/00dpatch.conf | [deleted file] | patch | blob | history |
| debian/patches/alpha_ld_no-relax.dpatch | [changed mode: 0644->0755] | patch | blob | history |
| debian/patches/call_ld_with_proper_flags.dpatch | [changed mode: 0644->0755] | patch | blob | history |
| debian/patches/man-ocamlmklib.dpatch | [changed mode: 0644->0755] | patch | blob | history |