Remove irreleveant line from test README
commit3285d369fda50cb94e1a894e642649ba441a6615
authorBartosz Przygoda <bprzygoda@gmail.com>
dateMon 8 Aug 2016, 07:41 (10 years ago)
parentf851e54
test/README.md−1
@@ -148,7 +148,6 @@ Currently, `NONE` has the same effect as `ANY`, but this will change.
148148
1491491. Delete the corresponding directory
1501502. Remove the corresponding line in the definition of `testFamiliesData` in `TestData.hs`
151−3. Remove the related lines under `Extra-source-files` in `idris.cabal`
152151
153152### Updating golden files
154153