diff options
| author | aarne <aarne@chalmers.se> | 2015-07-20 14:32:50 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2015-07-20 14:32:50 +0000 |
| commit | db23eec58eb948e56da9b332eb682f100bc22edb (patch) | |
| tree | 0d803740f0fa7527a258a28492045bdf4e0fd02d /src | |
| parent | 400195b30768c9812051d13646218a598c894df0 (diff) | |
removed the obsolete examples/translator directory, which caused confusion
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions