diff options
| author | Johan Wassberg <jocar@sunet.se> | 2023-03-17 13:24:44 +0100 |
|---|---|---|
| committer | Johan Wassberg <jocar@sunet.se> | 2023-03-17 13:24:44 +0100 |
| commit | 411f3f9913524b67be7c5a4e4979a6be466e096e (patch) | |
| tree | db72a84f3ff30b022d12ce001dfa11cec22df06d /externals.xrd | |
| parent | dffd738cd8e473b21e45b114440d91692acac6e3 (diff) | |
Cleaner diffmd-2023-03-17-v02
`make tag` or `make commit` run both tidy commands so to make the diff cleaner
run them before to make the diff only contain changes of the real stuff.
Diffstat (limited to 'externals.xrd')
0 files changed, 0 insertions, 0 deletions