OSDN Git Service

(root) / wvm / gitlab.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bf753e9 9db7c16)
Merge pull request #2653 from jouve/fix_default_settings
authorRiyad Preukschas <riyad@informatik.uni-bremen.de>
Fri, 18 Jan 2013 02:57:49 +0000 (18:57 -0800)
committerRiyad Preukschas <riyad@informatik.uni-bremen.de>
Fri, 18 Jan 2013 02:57:49 +0000 (18:57 -0800)
Fix default settings when they are boolean.


Trivial merge
About OSDN
Find Software
Develop Software
Help