diff --git a/scripts/dev/update_3rdparty.py b/scripts/dev/update_3rdparty.py index 24f9432df..4b88b165f 100755 --- a/scripts/dev/update_3rdparty.py +++ b/scripts/dev/update_3rdparty.py @@ -97,6 +97,10 @@ def update_dmg_makefile(): def update_ace(): + """Update ACE. + + See https://ace.c9.io/ and https://github.com/ajaxorg/ace-builds/ + """ print("Updating ACE...") url = 'https://raw.githubusercontent.com/ajaxorg/ace-builds/master/src/ace.js' target_path = os.path.join('tests', 'end2end', 'data', 'hints', 'ace',