repositories / sec1415.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c3f85e8 1afdd04)
Merge branch 'master' of github.com:dopefishh/sec2014
authorMart Lubbers <mart@martlubbers.net>
Tue, 20 May 2014 14:32:24 +0000 (16:32 +0200)
committerMart Lubbers <mart@martlubbers.net>
Tue, 20 May 2014 14:32:24 +0000 (16:32 +0200)

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