rename variable
[phpmyadmin.git] / doc / 
tree76ed933680c8d9ecf92d94f2d8eb63601972d687
drwxr-xr-x   ..
-rw-r--r-- 44 .gitignore
-rw-r--r-- 5575 Makefile
drwxr-xr-x - _ext
-rw-r--r-- 9356 conf.py
-rw-r--r-- 89246 config.rst
-rw-r--r-- 1172 copyright.rst
-rw-r--r-- 13174 credits.rst
-rw-r--r-- 389 developers.rst
-rw-r--r-- 81922 faq.rst
-rw-r--r-- 12186 glossary.rst
-rw-r--r-- 561 index.rst
-rw-r--r-- 2745 intro.rst
-rw-r--r-- 5104 make.bat
-rw-r--r-- 539 other.rst
-rw-r--r-- 2323 privileges.rst
-rw-r--r-- 1478 require.rst
-rw-r--r-- 18081 setup.rst
-rw-r--r-- 6445 transformations.rst
-rw-r--r-- 99 user.rst
-rw-r--r-- 1159 vendors.rst