diff options
author | Jakob Odersky <jakob@driver.xyz> | 2018-06-29 17:56:06 -0700 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2018-07-02 16:30:35 -0700 |
commit | df09f6ed64aad3e83f98e13a3d7d9b3a82ccd0a8 (patch) | |
tree | 5eeae70f4ecc7293ddcc8e17a74e86945745510d /.gitignore | |
parent | c5c1aa6bc78b6ebc346befe9f4b434401a683a59 (diff) | |
download | spray-json-derivation-df09f6ed64aad3e83f98e13a3d7d9b3a82ccd0a8.tar.gz spray-json-derivation-df09f6ed64aad3e83f98e13a3d7d9b3a82ccd0a8.tar.bz2 spray-json-derivation-df09f6ed64aad3e83f98e13a3d7d9b3a82ccd0a8.zip |
Change GADT to ADT
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions