Data
|
Generate commit diff data for git repos
|
2018-05-19 16:10:03 +00:00 |
Database
|
Upgrade to GHC 8 and LTS 10.10
|
2018-05-16 00:02:54 +00:00 |
Diagrams
|
Draw the arrows in role diagram
|
2016-07-02 11:57:20 +00:00 |
Formatting
|
Finish route change, it builds now
|
2016-05-23 20:46:54 +00:00 |
Vervis
|
Ignore line numbers when computing diff
|
2018-05-21 20:54:05 +00:00 |
Web/PathPieces
|
Start big route change, doesn't build yet
|
2016-05-23 12:24:14 +00:00 |
Yesod
|
Upgrade to GHC 8 and LTS 10.10
|
2018-05-16 00:02:54 +00:00 |