nodiscc 53730d7052 makefile: add a target to run check-github-commit-times.py

2019-06-23 16:38:30 +02:00

2.8 KiB

Executable File

Raw Blame History

View Raw