Commit graph

11 commits

Author SHA1 Message Date
Nicolas Mattia
f5dce6453d Disable doDoc by default
The documentation building step takes a fair bit of time and most users
won't care about it. By default we turn it off.
2019-12-19 10:59:02 +01:00
Nicolas Mattia
cfbaf2a6f2 Clean up git dependency code 2019-12-17 17:03:10 +01:00
Nicolas Mattia
863d0e0f3b Update README 2019-12-16 10:34:38 +01:00
Nicolas Mattia
a0fb5eaa29 Regenerate README 2019-12-16 10:33:10 +01:00
Nicolas Mattia
279fe46216 Regenerate README 2019-12-16 10:32:44 +01:00
Nicolas Mattia
1d18095496 Generate configuration documentation from code 2019-12-02 20:30:50 +01:00
Nicolas Mattia
c94b773f62 Make limitations more visible 2019-11-20 12:10:01 +01:00
Nicolas Mattia
0d6443d1bb Mention attribute set or path in README 2019-11-18 18:17:25 +01:00
Nicolas Mattia
62e215b90a Add CI badge 2019-10-30 15:20:47 +01:00
Nicolas Mattia
0f5ed0edbf Add comparison to rustPlatform and carnix 2019-08-06 20:08:30 +02:00
Nicolas Mattia
5888c8d9d6 Add README 2019-07-11 11:42:19 +02:00