diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2024-11-30 23:17:04 +0300 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2024-11-30 23:17:04 +0300 |
| commit | df65771303262ccb966c31ea18b8e8305e6946e8 (patch) | |
| tree | ece05d20ea9c3828c72a541a4344c101433398cf | |
| parent | 8490013e558386d5584cbaba610268adad4ddd89 (diff) | |
| download | sciteco-df65771303262ccb966c31ea18b8e8305e6946e8.tar.gz | |
updated Scinterm to the official v5.2 release
This does not change anything functionally.
| m--------- | contrib/scinterm | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/contrib/scinterm b/contrib/scinterm -Subproject 60e32993f7d31674aa9b8db0766d9f6984fb489 +Subproject ba8c35f9b9f58e394d3ece79c464f6cd020c765 |