projects / crypto_lab2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9114afd) | patch
Remove user preferences.
authorUmmon <greg.burri@gmail.com>
Sun, 30 Nov 2014 20:43:09 +0000 (21:43 +0100)
committerUmmon <greg.burri@gmail.com>
Sun, 30 Nov 2014 20:43:09 +0000 (21:43 +0100)
commitaa6da23b467f0fad1344c6dd29972f56cad7175c
tree43976286986734ac90eafb851922db68e96a4f66tree
parent9114afd3619c56b07c9fa325ae959edbc54bacd3commit | diff
Remove user preferences.
labo2-fsharp/labo2-fsharp.userprefs [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.