NoRedInk/noredink-ui
1
1
Fork 0
mirror of https://github.com/NoRedInk/noredink-ui.git synced 2024-12-22 05:01:40 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,543 Commits 59 Branches 399 Tags 20 MiB
c076bc188f
Commit Graph

9 Commits

Author SHA1 Message Date
Brian Hicks
4094b97830 automatically look for verifiable examples in all exposed modules 2020-03-31 14:58:20 -05:00
Gavin Panella
28d36c6f64 Revert "Merge pull request #461 from NoRedInk/puffins/prepare-for-merge" 
This reverts commit 4373c78d82, reversing
changes made to 6b78075f02.
 2020-03-06 20:00:34 +01:00
Stoeffel
873f0ef521 move files into subdirectory 2020-03-02 10:45:03 +01:00
Brian Hicks
e866e9fe17 import nixpkgs from niv 2019-10-28 09:43:14 -05:00
Brian Hicks
68624b54db add entr 2019-04-02 15:07:26 -05:00
Brian Hicks
8bfc94611a build public 2019-04-01 09:26:15 -05:00
Brian Hicks
723edb1756 add nodejs to deps 2019-02-12 13:10:15 -06:00
Brian Hicks
a6c6a498f0 version Elm stuff with npm instead 2018-12-18 16:46:07 -06:00
Brian Hicks
a9fa1252ae install all deps we need via nix 2018-12-18 16:43:08 -06:00