drracket-workspaces

Save and reopen groups of files in DrRacket as workspaces.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedFriday, April 23rd, 2021 3:43:32am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/stardust66/drracket-workspaces.git#mainec3eff8e7b7dc5ca7f59209f188ba843d5c827d2
Last checkedSunday, August 1st, 2021 8:09:20pm (UTC)
Last editedFriday, April 23rd, 2021 3:25:39am (UTC)
Date addedFriday, April 23rd, 2021 3:25:39am (UTC)
Modules
  • drracket-workspaces/tool.rkt
  • drracket-workspaces/preferences.rkt