Paulus Schoutsen 5a22e7d211 Fail if dirty (#16839) ...

* Fail if dirty

* Update check_dirty

* Update text

* Fix comment

* Add -e

* Update dirty script

2018-09-25 20:47:51 +02:00

238 B

Executable File

Raw Permalink Blame History

View Raw