diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-21T21·31+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-21T21·31+0000 |
commit | d5ee6f8700c7225a4ce34f6d92aae0d57bee3355 (patch) | |
tree | cc4343f5d4fe5c6c7541208cbfd51d70a0b81b85 /README | |
parent | 2616e6a6f3f8c39e62071cf1c22cce5be90a1d9d (diff) |
* In `--query --generators', print out paths, not ids.
(There should really be a switch for this).
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions