Rename 'envt' to 'env'

Other option is the full blown 'environment'
This commit is contained in:
yuvipanda
2018-08-12 21:12:16 -07:00
parent 295b0683a2
commit d4b28bb62f
4 changed files with 8 additions and 8 deletions

View File

@@ -56,8 +56,8 @@ The user environment
.. toctree::
:titlesonly:
howto/envt/user-environment
howto/envt/notebook-interfaces
howto/env/user-environment
howto/env/notebook-interfaces
Authentication
--------------