author | Max Kellermann <max@duempel.org> | |
Fri, 14 Aug 2009 21:44:06 +0000 (23:44 +0200) | ||
committer | Max Kellermann <max@duempel.org> | |
Fri, 14 Aug 2009 21:44:06 +0000 (23:44 +0200) | ||
commit | 196f06b51433fca070afecb46f9ecf6492bf455a | |
tree | e4160d78b4964b554e9788542c192d8476b05926 | tree | snapshot |
parent | 18a80371ad334faa0777fcb1b53fc0037f426eba | commit | diff |
options: added options_deinit()
Clean up before exiting, make valgrind happy.
Clean up before exiting, make valgrind happy.
src/main.c | diff | blob | history | |
src/options.c | diff | blob | history | |
src/options.h | diff | blob | history |