diff options
| author | Robin Haberkorn <rhaberkorn@fmsbw.de> | 2026-04-18 12:23:27 +0200 |
|---|---|---|
| committer | Robin Haberkorn <rhaberkorn@fmsbw.de> | 2026-04-18 12:23:27 +0200 |
| commit | 7ac75b4053cbc1c758d38732fcc4d1d93d4a9fd8 (patch) | |
| tree | 660901946b3eeab8378040b048b63f19acfad139 /contrib | |
| parent | 65118ebb971a5b82b3f5e20acdf60115416610c5 (diff) | |
fixup 869de7c6270c50481499c201aa16aa5bc3a56739: my 8-color Scinterm patch has been merged
Diffstat (limited to 'contrib')
| m--------- | contrib/scinterm | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/contrib/scinterm b/contrib/scinterm -Subproject 70691faf4242525cad987da11a7c4912d800691 +Subproject 5499991f775d5fdd9d5558ef339788b66e99712 |