diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-12T21·51+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-12T21·51+0000 |
commit | b438d37558eab56a2927771013c9080675381ba8 (patch) | |
tree | 712ef93c6c82e7f502eeac1283f4844a010314f3 /corepkgs/Makefile.am | |
parent | 3130f1f0fa484495ebca89bd458cf7fffa522687 (diff) |
* In dumpPath(): pass a function object that allows files to be
selectively in/excluded from the dump.
Diffstat (limited to 'corepkgs/Makefile.am')
0 files changed, 0 insertions, 0 deletions