repositories / sec1415.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1e99906)
fix missing dir
authorMart Lubbers <mart@martlubbers.net>
Tue, 6 May 2014 20:16:21 +0000 (22:16 +0200)
committerMart Lubbers <mart@martlubbers.net>
Tue, 6 May 2014 20:16:21 +0000 (22:16 +0200)
pietpy [deleted submodule] patch | blob | history

diff --git a/pietpy b/pietpy
deleted file mode 160000 (submodule)
index b8ddba9..0000000
--- a/pietpy
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit b8ddba9ee206821431d58dd62a1b1fa9ca8d3dd8
1415-S2 - NWI-IBC026: Semantiek en Correctheid