drracket-workspaces

Save and reopen groups of files in DrRacket as workspaces.

Build status: ok passing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedThursday, May 11th, 2023 1:48:22pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/stardust66/drracket-workspaces.git#main41a01afd967512228942c9f71af28ad585acf484
Last checkedMonday, July 22nd, 2024 3:58:10pm (UTC)
Last editedFriday, April 23rd, 2021 3:25:39am (UTC)
Date addedFriday, April 23rd, 2021 3:25:39am (UTC)
Modules
  • drracket-workspaces/preferences.rkt
  • drracket-workspaces/tool.rkt