../ highlighted/#1244 Use [].copy and path.exists instead of more cumbersome solutions6 years ago source/Added newline to multicharacter line of plaintext generation script6 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