about summary refs log tree commit diff
path: root/README
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-07-21T21·31+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-07-21T21·31+0000
commitd5ee6f8700c7225a4ce34f6d92aae0d57bee3355 (patch)
treecc4343f5d4fe5c6c7541208cbfd51d70a0b81b85 /README
parent2616e6a6f3f8c39e62071cf1c22cce5be90a1d9d (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