2009-11-06 | Mike Taylor | Ignore failure of rmdir -- this used to work, but now... |
commit | commitdiff | tree |
2009-11-06 | Mike Taylor | Rename |
commit | commitdiff | tree |
2009-11-06 | Mike Taylor | Omit .git rather than CVS |
commit | commitdiff | tree |