diff options
Diffstat (limited to 'include/distfiles')
-rw-r--r-- | include/distfiles | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/distfiles b/include/distfiles index 342530c4e..d847316f2 100644 --- a/include/distfiles +++ b/include/distfiles @@ -6,3 +6,5 @@ mpi.h ttyio.h types.h util.h +i18n.h + |