From 544b999f13bac3ae33275839de007c74696ca9c1 Mon Sep 17 00:00:00 2001
From: rnhmjoj <micheleguerinirocco@me.com>
Date: Sun, 24 Apr 2016 13:54:08 +0200
Subject: [PATCH] Remove unused fields

---
 Interlude.cabal | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Interlude.cabal b/Interlude.cabal
index e19ccd6..9881c27 100644
--- a/Interlude.cabal
+++ b/Interlude.cabal
@@ -9,14 +9,12 @@ maintainer:          micheleguerinirocco@me.com
 copyright:           © Michele Guerini Rocco
 category:            Math
 build-type:          Simple
--- extra-source-files:  
 cabal-version:       >=1.10
 
 library
   exposed-modules:     Relation.Equality, Data.TypeClass,
                        Data.Bool, Data.Nat, Data.Integer
                        Data.Function, Data.Vec
-  -- other-modules:       
   other-extensions:    GADTs, DataKinds, TypeFamilies, TypeOperators,
                        StandaloneDeriving, ScopedTypeVariables,
                        UndecidableInstances, NoImplicitPrelude,