author | Jean-Philippe Orsini <jeanfi@gmail.com> | |
Fri, 25 Apr 2014 08:21:17 +0000 (10:21 +0200) | ||
committer | Jean-Philippe Orsini <jeanfi@gmail.com> | |
Fri, 25 Apr 2014 08:21:17 +0000 (10:21 +0200) |
NEWS | patch | blob | history | |
src/ui_pref.c | patch | blob | history |