diff options
author | Diogo Sousa <diogogsousa@gmail.com> | 2013-06-18 12:07:46 +0100 |
---|---|---|
committer | Diogo Sousa <diogogsousa@gmail.com> | 2013-06-18 12:07:46 +0100 |
commit | 8b217981eda423927380e2eda51ee3e43c28ea0d (patch) | |
tree | 13b40bf9f5243be7f588025e8946c403d33cde16 /src/gtk2-prefs/interface.h | |
parent | 8ce8a359c18578870bcbabdb10feb5902b424105 (diff) |
Removed unused argument of make_re().
Diffstat (limited to 'src/gtk2-prefs/interface.h')
0 files changed, 0 insertions, 0 deletions