diff options
| author | Markus Mittendrein <git@maxmitti.tk> | 2016-06-18 00:29:16 +0200 |
|---|---|---|
| committer | Markus Mittendrein <git@maxmitti.tk> | 2016-06-18 00:29:16 +0200 |
| commit | 9fe3eaed74a766317465f6dc4a7994ab30780622 (patch) | |
| tree | 68851336cb10109b048e51e1cd78cb353dc98b57 /src/crsm.hpp | |
| parent | ed34963870de3c40faa3aad1da1d6dc56cabc093 (diff) | |
| download | manager-9fe3eaed74a766317465f6dc4a7994ab30780622.tar.gz manager-9fe3eaed74a766317465f6dc4a7994ab30780622.zip | |
Assume .c4s file-extension in host-command if not given
Diffstat (limited to 'src/crsm.hpp')
0 files changed, 0 insertions, 0 deletions