diff options
Diffstat (limited to 'gl/modules/di-set')
| -rw-r--r-- | gl/modules/di-set | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/gl/modules/di-set b/gl/modules/di-set deleted file mode 100644 index 562db14a4..000000000 --- a/gl/modules/di-set +++ /dev/null @@ -1,24 +0,0 @@ -Description: -manipulate sets of device-inode pairs efficiently - -Files: -lib/di-set.c -lib/di-set.h - -Depends-on: -ino-map -hash - -configure.ac: - -Makefile.am: -lib_SOURCES += di-set.c di-set.h - -Include: -"di-set.h" - -License -GPL - -Maintainer: -Jim Meyering |