mini-theme

A minimal DrRacket theme

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedFriday, November 19th, 2021 11:13:08pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/dannypsnl/mini-theme.git#develop0dc671679070aeaeebe1bf23b741d914bf5b8892
Last checkedSunday, July 3rd, 2022 10:10:18am (UTC)
Last editedTuesday, June 15th, 2021 4:46:07pm (UTC)
Date addedSunday, January 10th, 2021 1:46:51am (UTC)
Modules
  • mini-theme/scribblings/mini-theme.scrbl