|
src/Servant
|
Implement forgotten mappend
|
2019-04-16 13:09:23 +03:00 |
|
test
|
http-media-0.8 changed mapAcceptMedia
|
2019-04-16 13:58:04 +03:00 |
|
.ghci
|
add servant/.ghci
|
2016-01-07 23:59:54 +01:00 |
|
CHANGELOG.md
|
Add changelog for 0.16.2
|
2019-08-03 17:20:39 +03:00 |
|
docs.sh
|
prepare merge
|
2015-04-20 11:21:21 +02:00 |
|
LICENSE
|
Changelog and cabal file edits
|
2018-11-13 09:58:42 +02:00 |
|
servant.cabal
|
Remove more unused extensions (#1203)
|
2019-08-15 03:08:12 -04:00 |
|
Setup.hs
|
Cleanup pre-GHC-8.0 stuff
|
2018-07-11 01:39:38 +03:00 |
|
update-nixpkgs.sh
|
prepare merge
|
2015-04-20 11:21:21 +02:00 |
