mini-theme

A minimal DrRacket theme

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedWednesday, June 9th, 2021 2:29:52pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/dannypsnl/mini-theme.git#develop3410442a1eb9b7ad51d74179df1f92c64637b9c8
Last checkedSaturday, July 24th, 2021 10:31:30pm (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