diff options
| author | Diogo Sousa <diogogsousa@gmail.com> | 2013-06-24 20:13:18 +0100 |
|---|---|---|
| committer | Diogo Sousa <diogogsousa@gmail.com> | 2013-06-28 16:15:15 +0100 |
| commit | dcdb11a78bace7bb4ec36e3c79ea8418a7f4ccfd (patch) | |
| tree | 8240c155ec7954926a42f513f0324add7fb05675 /src/fe-gtk/textgui.h | |
| parent | aef9e3922e6f6557b156ba6c1fc9e2b0a03db316 (diff) | |
Added preferences options to enable the server-time extension when available.
(Internationalization messages missing.)
Diffstat (limited to 'src/fe-gtk/textgui.h')
0 files changed, 0 insertions, 0 deletions