diff options
| author | Benjamin Paassen <bpaassen@techfak.uni-bielefeld.de> | 2015-02-17 15:11:11 +0100 |
|---|---|---|
| committer | Benjamin Paassen <bpaassen@techfak.uni-bielefeld.de> | 2015-02-17 15:11:11 +0100 |
| commit | 53544766f96b16f683bf5618b7c0857b227d7da4 (patch) | |
| tree | e2f5abd2e58071dec0a7adfd4aa12047d59f55dd /src/cli | |
| parent | 878865b0c53196bc7b21edda423b83b4f14a88d5 (diff) | |
added typesystems getter.
Diffstat (limited to 'src/cli')
0 files changed, 0 insertions, 0 deletions