Undo an unintentional change.
commitfce4e49d5d65afaa5871e11cf372ddf207b5a42a
authorMikhail Glushenkov <mikhail.glushenkov@gmail.com>
Thu, 10 Aug 2017 17:48:23 +0000 (10 18:48 +0100)
committerMikhail Glushenkov <mikhail.glushenkov@gmail.com>
Thu, 10 Aug 2017 17:48:23 +0000 (10 18:48 +0100)
treef7dab4db9c9b991a5bcc3cf66e35c3bb496b2e1a
parentdf933935bcdeb23a9813c8c739016f6945a716f9
Undo an unintentional change.

Committed by accident as part of
45fb792935306c77a7423f1690ce5fc23cfa7bdc.
cabal.project