diff options
| author | Georgios Andreadis <info@gandreadis.com> | 2020-02-14 11:37:32 +0100 |
|---|---|---|
| committer | Georgios Andreadis <info@gandreadis.com> | 2020-02-14 19:14:31 +0100 |
| commit | f33cfe79358c31cc786fdb1594cb1c40ab8e0a7b (patch) | |
| tree | 2075fc68f9aaa49d93e2d1c018fc2f877d683bef /odcsim/docs/run.md | |
| parent | 773eaf770313fa245250e8e1661ee50444223c98 (diff) | |
Get first two parts of docs up to date and remove odcsim doc
Diffstat (limited to 'odcsim/docs/run.md')
| -rw-r--r-- | odcsim/docs/run.md | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/odcsim/docs/run.md b/odcsim/docs/run.md deleted file mode 100644 index e69de29b..00000000 --- a/odcsim/docs/run.md +++ /dev/null |