5 Commits

Author SHA1 Message Date
Jean-Francois Dockes
2f646a70a4 GUI: add option to "special index" for setting the diagnostics file 2021-04-01 10:50:46 +02:00
Jean-Francois Dockes
00605f4a3c missing copyrights and indents. no real changes 2021-01-14 10:26:20 +01:00
Jean-Francois Dockes
560041cab9 cleared out errant tabs 2020-05-30 15:54:49 +02:00
Jean-Francois Dockes
0cbc46732f Fixed the FSF address 2019-03-04 11:19:14 +01:00
Jean-Francois Dockes
ab93302812 Add GUI dialog to start indexing with special options. Closes issue #264 2015-10-01 09:07:00 +02:00