 Daniele Bartolini
|
2b676e0459
Merge CommandLineSettings and ConfigSettings
|
11 년 전 |
|
Daniele Bartolini
|
7e06066a67
Cleanup
|
11 년 전 |
|
Daniele Bartolini
|
9bc5f473ec
Cleanup
|
11 년 전 |
|
Daniele Bartolini
|
7d09022258
Cleanup
|
11 년 전 |
|
Daniele Bartolini
|
08d2b3ea39
Prepare to use new compile()
|
11 년 전 |
|
Daniele Bartolini
|
68e121a7e0
Enable --parent-window on linux
|
11 년 전 |
|
Daniele Bartolini
|
ad8ffa7758
Do not distinguish between upper/lower case
|
11 년 전 |
|
Daniele Bartolini
|
fa2024a75e
Rewrite windows main
|
11 년 전 |
|
Daniele Bartolini
|
386ef4139d
Rewrite linux main
|
11 년 전 |
|
Daniele Bartolini
|
a84c01113c
Reorganize os stuff prior to next move
|
11 년 전 |
