|
appveyor-webhook.py
|
HEAD
|
2018-10-01 21:39:42 -07:00 |
|
appveyor.yml
|
merge trunk
|
2018-10-30 20:46:55 +01:00 |
|
check_dependencies.py
|
Merge media trunk and fix up
|
2019-01-27 14:42:23 +00:00 |
|
clean_up_resources.py
|
HEAD
|
2018-10-01 21:39:42 -07:00 |
|
generate_resources.sh
|
End of 2017
|
2017-12-29 09:15:48 +00:00 |
|
jenkins_script.py
|
Merge media trunk and fix up
|
2019-01-27 14:42:23 +00:00 |
|
lp-merge.py
|
HEAD
|
2018-10-01 21:39:42 -07:00 |
|
mp_update.py
|
HEAD
|
2018-10-01 21:39:42 -07:00 |
|
resources.patch
|
Update resource file
|
2018-08-04 23:25:14 +02:00 |
|
reveal-js.patch
|
Updated reveal.js to 3.7.0
|
2019-02-11 21:34:20 +01:00 |
|
translation_utils.py
|
merge trunk
|
2018-10-30 20:46:55 +01:00 |
|
websocket_client.py
|
HEAD
|
2018-10-01 21:39:42 -07:00 |
