diff options
| author | Georgios Andreadis <info@gandreadis.com> | 2020-03-11 17:06:29 +0100 |
|---|---|---|
| committer | Georgios Andreadis <info@gandreadis.com> | 2020-03-11 17:06:29 +0100 |
| commit | d1d9e059cb83c1d8cf01e704136d0af2b6564e5b (patch) | |
| tree | 7c1bbb69ea19014d3bf3848ce143cfdbd2289ca2 /odcsim/odcsim-api/src/main/kotlin | |
| parent | 52755a9cd839116888016b9277e6812a0f14d1d2 (diff) | |
Make VM list single-quoted
Diffstat (limited to 'odcsim/odcsim-api/src/main/kotlin')
0 files changed, 0 insertions, 0 deletions