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