diff options
| author | aarne <aarne@chalmers.se> | 2015-04-16 13:51:18 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2015-04-16 13:51:18 +0000 |
| commit | a5305f1d9f64445b727de4bbc843f038287016bb (patch) | |
| tree | 1eed044920f0c982d334aae992c2afb24d64f1a4 /src/server | |
| parent | 1420e35cbb3ff46c0b834dc5d44dabcbf226684f (diff) | |
simplified the example translator and renamed it to pgf-hsbind-trans
Diffstat (limited to 'src/server')
0 files changed, 0 insertions, 0 deletions