NoRedInk/noredink-ui
1
1
Fork 0
mirror of https://github.com/NoRedInk/noredink-ui.git synced 2024-12-24 14:13:20 +03:00
Code Issues Packages Projects Releases Wiki Activity

turns out staunch mode was not so good for us

Browse Source
This commit is contained in:
Brian Hicks 2020-10-28 22:36:05 -05:00
parent 41791362c6
commit 31c95ca0c3
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Shakefile.hs
View File

@ -11,7 +11,6 @@ main =
{ shakeFiles = "_build", { shakeFiles = "_build",
shakeLintIgnore = ["node_modules/**/*"], shakeLintIgnore = ["node_modules/**/*"],
shakeThreads = 0, shakeThreads = 0,
shakeStaunch = True,
shakeChange = ChangeModtimeAndDigest shakeChange = ChangeModtimeAndDigest
} }
$ do $ do