-- Generated by tools/do-setup

module Local.ShakeConfig (module User.Elaforge.ShakeConfig) where

import User.Elaforge.ShakeConfig