Remove base/Network from cabal file
commitc2b162770ce1b55f2c1c25499642e27beb0f895e
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateFri 20 Mar 2015, 09:29 (12 years ago)
parent4e34dfd
idris.cabal−1
@@ -104,7 +104,6 @@ Extra-source-files:
104104 libs/base/Data/Vect/*.idr
105105 libs/base/Debug/*.idr
106106 libs/base/Language/Reflection/*.idr
107− libs/base/Network/*.idr
108107 libs/base/Makefile
109108 libs/base/System/*.idr
110109 libs/base/System/Concurrency/*.idr