diff options
author | Christian Grothoff <christian@grothoff.org> | 2021-01-01 21:02:52 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2021-01-01 21:02:52 +0100 |
commit | 8311ea5777aff643f2823c763d71f1efc41abb75 (patch) | |
tree | 9c3ee440b561d6a3ffe433dc3c7f7724ec4467de /debian/libgnunet-dev.docs | |
parent | 4eca306528227f855bc200b878a18044f88d9302 (diff) | |
download | gnunet-8311ea5777aff643f2823c763d71f1efc41abb75.tar.gz gnunet-8311ea5777aff643f2823c763d71f1efc41abb75.zip |
rename gnunet-dev to libgnunet-dev
Diffstat (limited to 'debian/libgnunet-dev.docs')
-rw-r--r-- | debian/libgnunet-dev.docs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/libgnunet-dev.docs b/debian/libgnunet-dev.docs new file mode 100644 index 000000000..6f12db508 --- /dev/null +++ b/debian/libgnunet-dev.docs | |||
@@ -0,0 +1,2 @@ | |||
1 | AUTHORS | ||
2 | README | ||