ensure that all settings are saved
authorJean-Philippe Orsini <jeanfi@gmail.com>
Wed, 23 Apr 2014 07:50:52 +0000 (09:50 +0200)
committerJean-Philippe Orsini <jeanfi@gmail.com>
Wed, 23 Apr 2014 07:50:52 +0000 (09:50 +0200)
commit7d3ae1cda431c06636a7238b05b286b5ec6d41f5
treef22d501c85d6a03410ec9ca915a9266135fd9d8c
parentb54e93b9e8e287cc2a6fd59cc6baa613757ed5b9
ensure that all settings are saved
src/main.c