diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2025-03-31 10:24:49 +0300 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2025-03-31 10:24:49 +0300 |
| commit | d23b44fc22ba1015b1d996628863ef92a18bd87e (patch) | |
| tree | 77bc50e5b074f23a32deaad978529ec6c590d76c /.github | |
| parent | 2440499f741447589f2c83dfe34c09e3ad08c9e1 (diff) | |
| download | sciteco-d23b44fc22ba1015b1d996628863ef92a18bd87e.tar.gz | |
fixup: `make clean` removes tutorial.ms now
Fixes `make distcheck` and CI builds.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions