repositories / sec1415.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1cb0388 07ce300)
Merge branch 'master' of github.com:dopefishh/sec2014 into commentaar_verwerken commentaar_verwerken
authorMart Lubbers <mart@martlubbers.net>
Thu, 12 Jun 2014 13:13:54 +0000 (15:13 +0200)
committerMart Lubbers <mart@martlubbers.net>
Thu, 12 Jun 2014 13:13:54 +0000 (15:13 +0200)

Trivial merge
1415-S2 - NWI-IBC026: Semantiek en Correctheid