diff options
| author | Vsevolod Stakhov <vsevolod@FreeBSD.org> | 2014-01-10 14:31:26 +0000 |
|---|---|---|
| committer | Vsevolod Stakhov <vsevolod@FreeBSD.org> | 2014-01-10 14:31:26 +0000 |
| commit | 2564e97f9e0a5d38064ca826dc109521de198eaa (patch) | |
| tree | eaecccbc483d176d0c0e5bbf46661dd07ee8532d /math/Makefile | |
| parent | e0702bc4e732e66f962ece63f3067dd08c16508d (diff) | |
Notes
Diffstat (limited to 'math/Makefile')
| -rw-r--r-- | math/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/Makefile b/math/Makefile index 71fac62869d6..99b9668e930c 100644 --- a/math/Makefile +++ b/math/Makefile @@ -159,6 +159,7 @@ SUBDIR += graphthing SUBDIR += gretl SUBDIR += gri + SUBDIR += gringo SUBDIR += grpn SUBDIR += gsl SUBDIR += hs-Agda |