History of file server_options._global.ini at check-in f9ecd01db30b2fbd
|
2018-07-07
| ||
| 12:08 | Deleted: [server] don’t use global ini file for server options check-in: [1724e34975] user: olr, branch: trunk, size: 0 | |
|
2017-11-13
| ||
| 17:05 | Renamed server_options._global.ini → grammalecte-server-options._global.ini. [build] fix setup.py, shebang and rename cli.py and server.py file: [6839273b2c] check-in: [099f103bb1] user: olr, branch: trunk, size: 124 [annotate] [blame] [check-ins using] [diff] | |
|
2017-04-25
| ||
| 11:51 | Added: commit 1 file: [6839273b2c] check-in: [2fd7dc4dd5] user: olr, branch: trunk, size: 124 [annotate] [blame] [check-ins using] | |