author | Jean-Philippe Orsini <jeanfi@gmail.com> | |
Fri, 14 Nov 2014 07:50:34 +0000 (08:50 +0100) | ||
committer | Jean-Philippe Orsini <jeanfi@gmail.com> | |
Fri, 14 Nov 2014 07:50:34 +0000 (08:50 +0100) | ||
commit | f73aa2047e162f171d9bfc39ddd11406bec3ace8 | |
tree | ea86f1c7523adec7750accd00a692c81f3b7b5a7 | tree | snapshot |
parent | df6dc574b291b43689133990960cc1e1271b2967 | commit | diff |
src/ui_pref.c | diff | blob | history |