check_dependencies.py
|
more bits
|
2018-04-22 07:59:35 +01:00 |
clean_up_resources.py
|
End of 2017
|
2017-12-29 09:15:48 +00:00 |
generate_resources.sh
|
End of 2017
|
2017-12-29 09:15:48 +00:00 |
jenkins_script.py
|
remove extra
|
2018-07-21 08:46:34 +01:00 |
lp-merge.py
|
Fixes for pycodestyle
|
2018-07-02 22:38:47 +02:00 |
mp_update.py
|
Oops, helps if the script actually works
|
2018-08-21 22:10:51 -07:00 |
resources.patch
|
Update resource file
|
2018-08-04 23:25:14 +02:00 |
translation_utils.py
|
End of 2017
|
2017-12-29 09:15:48 +00:00 |
websocket_client.py
|
minor fix
|
2018-02-17 07:46:11 +00:00 |