 Thomas
|
e4c1eaa7ab
Merge pull request #2106 from toooni/tab_menu_dropdown
|
10 years ago |
 Grégoire Paris
|
252aba9a54
fixed minor issues in the documentation
|
11 years ago |
|
Grégoire Paris
|
96b4a2cde8
choose route builder depending on the manager type
|
11 years ago |
 Pascal Borreli
|
dfa4516e4a
Fixed typos
|
11 years ago |
 Toni Rudolf
|
bdbac2046e
added documentation
|
11 years ago |
 Thomas Rabaix
|
be81021e76
[documentation] fix configuration and fix formatting
|
11 years ago |
 Stepan Anchugov
|
e2529aacd2
Renamed "advance" to "advanced"
|
11 years ago |
