diff options
| author | Benjamin Paassen <bpaassen@techfak.uni-bielefeld.de> | 2014-12-12 16:25:48 +0100 |
|---|---|---|
| committer | Benjamin Paassen <bpaassen@techfak.uni-bielefeld.de> | 2014-12-12 16:25:48 +0100 |
| commit | 6d63ba16c66be029c757989f06e308dea9237721 (patch) | |
| tree | 005baf2c60df4a0b3099f16fa9f10f1dd9fbe5f3 /src/core/managed/Manager.cpp | |
| parent | 29355270d36994b6a33d05bcc1f9a142818a325e (diff) | |
first attempt on domain formalization.
Diffstat (limited to 'src/core/managed/Manager.cpp')
0 files changed, 0 insertions, 0 deletions