diff options
Diffstat (limited to 'gnulib/modules/di-set')
m--------- | gnulib | 0 | ||||
-rw-r--r-- | gnulib/modules/di-set | 24 |
2 files changed, 24 insertions, 0 deletions
diff --git a/gnulib b/gnulib deleted file mode 160000 -Subproject 443bc5ffcf7429e557f4a371b0661abe98ddbc1 diff --git a/gnulib/modules/di-set b/gnulib/modules/di-set new file mode 100644 index 0000000..ef151c4 --- /dev/null +++ b/gnulib/modules/di-set @@ -0,0 +1,24 @@ +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 |