sharkdp 33128d75f2 Use list.extend(…)		2020-10-11 22:18:14 +02:00
..
highlighted	#1244 Use [].copy and path.exists instead of more cumbersome solutions	2020-10-11 21:31:34 +02:00
source	Added newline to multicharacter line of plaintext generation script	2020-10-11 21:31:34 +02:00
compare_highlighted_versions.py	Add comparison script	2020-08-03 15:59:53 +02:00
create_highlighted_versions.py	Use list.extend(…)	2020-10-11 22:18:14 +02:00
regression_test.sh	Replace #!/bin/bash with #!/usr/bin/env bash to improve compatibility with systems where /bin/bash is not available	2020-10-04 11:51:07 +02:00
update.sh	Add change dir to script dir to allow running from project root dir	2020-10-04 19:35:32 +02:00