commit | d892d4e1c0a99dcd2ce4d2dae7f5b96fa94d7ca1 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Fri Nov 15 00:07:31 2002 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Nov 15 00:07:31 2002 +0000 |
tree | a17901fa2848f87101296d8d925db4cdc16901ae | |
parent | 180ceedc0930beb336b16cb73d6ef8ee09e40e81 [diff] |
Make the Resources directory if needed.