@@ -148,7 +148,6 @@ Currently, `NONE` has the same effect as `ANY`, but this will change.
1491. Delete the corresponding directory
1491. Delete the corresponding directory
1502. Remove the corresponding line in the definition of `testFamiliesData` in `TestData.hs`
1502. 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`
153### Updating golden files
152### Updating golden files