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 /src/globals.hh | |
| parent | 2616e6a6f3f8c39e62071cf1c22cce5be90a1d9d (diff) | |
* In `--query --generators', print out paths, not ids.
(There should really be a switch for this).
Diffstat (limited to 'src/globals.hh')
0 files changed, 0 insertions, 0 deletions