This repository has been archived by the owner on Dec 8, 2022. It is now read-only.

Split packages #111

Closed

hasufell wants to merge 4 commits into master from hasufell/PR/split-packages

hasufell commented Oct 29, 2020

Example solution of #110

TODO:

figure out if CI needs adjustment
regenerate nix expressions (doesn't work for me locally)

Julian Ospald added 4 commits

October 29, 2020 19:10


          Move smash into subproject

a4fd8d6


          Move servant types into separate package

9fe91ac


          Remove redundant stub-mode flag


          Update ChangeLog

7705ad9

Contributor

ksaric commented Oct 30, 2020

Closing in favor of #112.

ksaric closed this

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet