diff options
Diffstat (limited to 'include/distfiles')
| -rw-r--r-- | include/distfiles | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/include/distfiles b/include/distfiles index 20a9091e6..b11749d78 100644 --- a/include/distfiles +++ b/include/distfiles @@ -1,9 +1,7 @@ cipher.h errors.h -iobuf.h memory.h mpi.h -ttyio.h types.h util.h i18n.h |