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 /src/aterm-helper.pl | |
| parent | 3130f1f0fa484495ebca89bd458cf7fffa522687 (diff) | |
* In dumpPath(): pass a function object that allows files to be
selectively in/excluded from the dump.
Diffstat (limited to 'src/aterm-helper.pl')
0 files changed, 0 insertions, 0 deletions