../ highlighted/Add PureScript syntax test6 years ago source/Add PureScript syntax test6 years ago compare_highlighted_versions.pyAdd comparison script6 years ago create_highlighted_versions.pyUse list.extend(…)6 years ago regression_test.shReplace #!/bin/bash with #!/usr/bin/env bash to improve compatibility with systems where /bin/bash is not available6 years ago update.shAdd change dir to script dir to allow running from project root dir6 years ago