diff options
| author | krasimir <krasimir@chalmers.se> | 2009-01-23 06:11:41 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-01-23 06:11:41 +0000 |
| commit | b10c9c0f83d8109de054fc4c3dd89697e391ff3e (patch) | |
| tree | 49f012aec19509bf607003676df834623b5c4c3a /src/server/simple-client.html | |
| parent | 62a6156405b60bbb1e6348273fb1487ae5297872 (diff) | |
pretty printing of qualified identifiers
Diffstat (limited to 'src/server/simple-client.html')
0 files changed, 0 insertions, 0 deletions