fixed merge of ptr
All checks were successful
the build was successful

This commit is contained in:
Sebastian Frank
2019-02-19 18:18:40 +01:00
parent 5b5b5d8c3a
commit 12dbfd43bb
5 changed files with 300 additions and 187 deletions

View File

@@ -166,6 +166,8 @@
<script src="project-files/js/preloader.js"></script>
<script src="project-files/js/functions.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/mermaid/8.0.0/mermaid.min.js"></script>
</body>
</html>