diff options
| author | Robin Haberkorn <rhaberkorn@fmsbw.de> | 2025-11-11 23:36:54 +0100 |
|---|---|---|
| committer | Robin Haberkorn <rhaberkorn@fmsbw.de> | 2025-11-12 01:05:52 +0100 |
| commit | e31e8b2af84a6021d0c673bd6b4fdb7a5bb458dc (patch) | |
| tree | 51067eea8206b603d4b0c455e20010a86822797f /contrib/scinterm | |
| parent | 5f4fff14a3d3a87d68bd5b96405c64503d07c375 (diff) | |
updated Scinterm: some of my patches have been merged upstream
It does not change anything functionally, though.
Diffstat (limited to 'contrib/scinterm')
| m--------- | contrib/scinterm | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/contrib/scinterm b/contrib/scinterm -Subproject b4a137adfbfcf1cd2de216f6cc8bfa253da1337 +Subproject e1148604589781178e67a60368d1226cf64c080 |