feat(Docker): update to Ubuntu 20.04 + more improvements (#3277)

This commit is contained in:
Francesco Borzì
2020-08-13 00:25:20 +02:00
committed by GitHub
parent c83c53e718
commit d2cc3fcbc2
14 changed files with 32 additions and 25 deletions

View File

@@ -88,7 +88,7 @@ public:
//}
//else
//{
HandOfThaurissan_Timer = 5000;
HandOfThaurissan_Timer = 5000;
//Counter = 0;
//}
} else HandOfThaurissan_Timer -= diff;