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/fe-gtk/textgui.h | |
| parent | 8ce8a359c18578870bcbabdb10feb5902b424105 (diff) | |
Removed unused argument of make_re().
Diffstat (limited to 'src/fe-gtk/textgui.h')
0 files changed, 0 insertions, 0 deletions