equal
deleted
inserted
replaced
286 -- "update mixfix templates to use cartouches instead of double quotes" |
286 -- "update mixfix templates to use cartouches instead of double quotes" |
287 |
287 |
288 option update_control_cartouches : bool = false |
288 option update_control_cartouches : bool = false |
289 -- "update antiquotations to use control symbol with cartouche argument" |
289 -- "update antiquotations to use control symbol with cartouche argument" |
290 |
290 |
|
291 option update_path_cartouches : bool = false |
|
292 -- "update file-system paths to use cartouches" |
|
293 |
291 |
294 |
292 section "Build Database" |
295 section "Build Database" |
293 |
296 |
294 option build_database_server : bool = false |
297 option build_database_server : bool = false |
295 option build_database_user : string = "" |
298 option build_database_user : string = "" |