diff options
| author | Markus Mittendrein <git@maxmitti.tk> | 2017-05-30 20:25:44 +0200 |
|---|---|---|
| committer | Markus Mittendrein <git@maxmitti.tk> | 2017-05-30 20:26:41 +0200 |
| commit | c20ac02beb8520953d90d0d9114371fe36187ed0 (patch) | |
| tree | 770c8d981ab8b09ff4ea322530e15da1d8cdb7c2 /.gitignore | |
| parent | f6c25c0dce53a751b0664d954552f7c711d54667 (diff) | |
| download | manager-c20ac02beb8520953d90d0d9114371fe36187ed0.tar.gz manager-c20ac02beb8520953d90d0d9114371fe36187ed0.zip | |
Allow ClonkOutputInterface to stop further propagation if the return value of the callback is true
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions