add Docker

This commit is contained in:
2019-08-04 20:06:12 +02:00
parent e31282e24e
commit 6d7f91e002
10 changed files with 777 additions and 1 deletions

3
.gitignore vendored
View File

@@ -4,4 +4,5 @@
/build
*.ipr
*.iws
dcproject.iml
dcproject.iml
/var