diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-11-10 16:23:09 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-11-10 16:23:09 +0000 |
| commit | ca59050abc8efccfb59b93cfbd8da93556605928 (patch) | |
| tree | 0814cc5118f331467e77e7ce010c9f7d2bc60711 /examples/tutorial/smart/SmartSwe.gf | |
| parent | 821fbe7ddbf8038178200dd998582bdf66c05881 (diff) | |
print "no trees found" in GF shell if an empty tree list is returned by p or pt
Diffstat (limited to 'examples/tutorial/smart/SmartSwe.gf')
0 files changed, 0 insertions, 0 deletions