etc: Add "ci.guix.info.pub" public key file.
[guix.git] / doc / 
tree6ac56f80b2faf06531e1b7192c789a17daad964e
drwxr-xr-x   ..
-rw-r--r-- 23526 contributing.de.texi
-rw-r--r-- 23137 contributing.fr.texi
-rw-r--r-- 20290 contributing.texi
-rw-r--r-- 481 environment-gdb.scm
-rw-r--r-- 23431 fdl-1.3.texi
-rw-r--r-- 925279 guix.de.texi
-rw-r--r-- 1007827 guix.fr.texi
-rw-r--r-- 905384 guix.texi
-rw-r--r-- 20935 htmlxref.cnf
drwxr-xr-x - images
-rw-r--r-- 7509 local.mk
-rw-r--r-- 615 package-hello.scm