diff options
| author | aarne <aarne@chalmers.se> | 2015-11-05 08:30:13 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2015-11-05 08:30:13 +0000 |
| commit | e97fa30c9d52f746521eea661eba40242638dcf7 (patch) | |
| tree | f0cc6142dfe569a7628056591d0daaee13bca080 /src/compiler/GF | |
| parent | eb49b6ab568b6da88a7ddb28029a663ff324dffa (diff) | |
vp -showdep: as default label for the first (incl. only) argument, don't use dep#0 but assume it is the head
Diffstat (limited to 'src/compiler/GF')
0 files changed, 0 insertions, 0 deletions