Rename environment variables.
[gitweb.git] / Documentation /
drwxr-xr-x   parent (dest: ; base: d19938ab6053e3dad75a68a60ef8cad1f378b0e5)
-rw-r--r-- 45345 core-git.txt
-rw-r--r-- 2900 diff-format.txt
-rwxr-xr-x 1190 split_docs.pl