diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-25 08:53:27 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-25 08:53:27 +0000 |
| commit | 726d160c8d79f148b5dc14e5616ec4302fe084a9 (patch) | |
| tree | 9cbfc5eb51fbe8641302819564e1ed66608f0965 /src/GF/Command | |
| parent | 0b1590536ae6fa1e03aee6fe0f9d46b42f71f00d (diff) | |
bugfix: the identifiers in the output of l -table should not be qualified
Diffstat (limited to 'src/GF/Command')
0 files changed, 0 insertions, 0 deletions