diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2025-06-21 11:39:27 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2025-06-21 17:50:44 +0200 |
| commit | 71042970c0cdb0cf2d247e209f26cdcc3c4b5bbe (patch) | |
| tree | 4a12b863cfd36bd43d24f95af91dc1c3e19f2d8a /_extensions | |
| parent | 8d6eb3d62147aa632ca085549c8b56c9053249b1 (diff) | |
change make check-* targets, and refine coloring
Diffstat (limited to '_extensions')
0 files changed, 0 insertions, 0 deletions