David Peter 3a612f063e Merge branch 'master' into master

2020-10-30 19:36:27 +01:00

..

highlighted

Merge branch 'master' into master

2020-10-30 19:36:27 +01:00

source

Merge branch 'master' into master

2020-10-30 19:36:27 +01:00

compare_highlighted_versions.py

Add comparison script

2020-08-03 15:59:53 +02:00

create_highlighted_versions.py

feat: include dotfiles (.) in create_highlighted_versions.py search

2020-10-17 17:40:51 +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