diff options
Diffstat (limited to '')
| -rw-r--r-- | math/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/math/Makefile b/math/Makefile index 7ad6fe32ac5c..c855f02a45cd 100644 --- a/math/Makefile +++ b/math/Makefile @@ -155,7 +155,6 @@ SUBDIR += grpn SUBDIR += gsl SUBDIR += hs-Agda - SUBDIR += hs-Agda-executable SUBDIR += hs-NumInstances SUBDIR += hs-categories SUBDIR += hs-comonad |