| .. |
|
ci_install.sh
|
ef4cd88639
fix os check
|
4 years ago |
|
ci_script.sh
|
b5a8f562e9
fix handling of rebuild of extension
|
4 years ago |
|
create_theme.py
|
c38ef84db3
add file header
|
7 years ago |
|
docs_push.sh
|
4f2f10cfc9
Add a script to push docs to gh-pages
|
5 years ago |
|
ensure-buildutils.js
|
9cbbe2cb0a
Split buildutils into buildutils and builder
|
4 years ago |
|
generate_changelog.py
|
aed46ff7f1
Add changelog (#3971)
|
7 years ago |
|
milestone_check.py
|
74437d9d4b
update check for new versions
|
5 years ago |
|
release_prep.sh
|
bee7f2b613
Add system beeps to release process
|
5 years ago |
|
release_template.txt
|
7b5c7bbfd3
Fix milestone link
|
5 years ago |
|
release_test.sh
|
f027e47650
remove deprecated extension from release test
|
5 years ago |
|
watch_dev.py
|
57d0e9d682
[WIP] Finalize Services (#3294)
|
7 years ago |
|
watch_packages.py
|
57d0e9d682
[WIP] Finalize Services (#3294)
|
7 years ago |
Steven Silvester
b5a8f562e9
fix handling of rebuild of extension