Commit Graph

7 Commits

Author SHA1 Message Date
24013f4a52 Correct project name.
All checks were successful
The build was successful.
2019-03-20 19:25:46 +01:00
887b78ead0 Remove redundant whitespace 2018-07-15 19:52:27 +02:00
9fe3ae2221 Fix indentation 2018-07-15 12:11:30 +02:00
4b05081d4a Makefile can be also used on Windows, but it needs some tweaks 2018-07-15 11:54:00 +02:00
ac3f78785a Add tasks for compiling P# on Unix-like OS 2018-07-15 11:34:32 +02:00
e9c61bd49a Updated VSCode to 1.25.1 2018-07-15 11:14:24 +02:00
c8559bc111 VS Code configuration for P# project 2018-07-12 18:10:19 +02:00