diff options
Diffstat (limited to 'devel/Makefile')
| -rw-r--r-- | devel/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile index 694af4305111..86814c64471f 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -1021,6 +1021,7 @@ SUBDIR += isl SUBDIR += it-eric6 SUBDIR += itext + SUBDIR += ivykis SUBDIR += jakarta-commons-configuration SUBDIR += jakarta-commons-daemon SUBDIR += jakarta-commons-io |