diff options
author | Matteo Bernardini | 2022-08-07 08:41:58 +0200 |
---|---|---|
committer | Matteo Bernardini | 2022-08-07 08:41:58 +0200 |
commit | b53cab45186fc95a0b36a56b206997d455946359 (patch) | |
tree | 6d5400cb9c1e42699128886511aa1f80b94249b8 /development/mlton/mlton.SlackBuild | |
parent | d01cfb721ca5becf618d7950779ea4a042c36ba9 (diff) | |
download | slackbuilds-current-20220807.1.tar.gz |
20220807.1 global branch merge.current-20220807.1
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'development/mlton/mlton.SlackBuild')
0 files changed, 0 insertions, 0 deletions