.. |
cfg
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |
processes
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |
sh
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |
0_setup.bat
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |
1_clean.bat
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |
2_export.bat
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |
3_build.bat
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |
4_install.bat
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |
_idle.bat
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |
client_clean.bat
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |
client_setup.bat
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |
export_build_all_data.bat
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |
export_build_data.bat
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |
Howto export.txt
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |
set_title.bat
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |
update_local_tools.bat
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |
update_tools.bat
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |