diff options
author | Stephane Glondu <steph@glondu.net> | 2009-02-01 00:55:20 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2009-02-01 01:17:52 +0100 |
commit | d8d080e3d1f6babcdbf667c84d8b46cfa9340b94 (patch) | |
tree | a474befdf4be3d25c2e605cd59d209996f16ce2c /lib/gmap.ml | |
parent | 38008218aa42a2f5520e7de71589378c333727c4 (diff) |
Remove also backup files in purify_tarball
Diffstat (limited to 'lib/gmap.ml')
0 files changed, 0 insertions, 0 deletions