Fix case where binary name doesn't have any extension.
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 30 Apr 2008 13:30:20 +0000 (14:30 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 30 Apr 2008 13:30:20 +0000 (14:30 +0100)
commite2895899d12b62600d3fe861e206e7538d159d29
treea0f66c91936a71af6f376f2a149256ec11653c86
parent817ac8746e7e69df161e8ce45e1ee4a3282469d3
Fix case where binary name doesn't have any extension.
diskzip/diskzip.ml