Revert mistakenly commited patch.
authorSamuel Mimram <smimram@debian.org>
Mon, 16 Mar 2009 14:11:43 +0000 (15:11 +0100)
committerSamuel Mimram <smimram@debian.org>
Mon, 16 Mar 2009 14:11:43 +0000 (15:11 +0100)
commit789ceff8376c14f95755d19550bc90327783b112
tree7b155ea285884d4a234f17fb5ef6382df624e664
parent7460097d3bfb4d49879e752698f4020ec2aef40b
Revert mistakenly commited patch.
debian/patches/00list
debian/patches/native_ocamldoc.dpatch [deleted file]