/docs/ default tip @
drwxr-xr-x [up]
drwxr-xr-x cross-channel-l10n
drwxr-xr-x devguide
drwxr-xr-x hgmo
drwxr-xr-x hgmods
drwxr-xr-x hgmozilla
drwxr-xr-x mozautomation
drwxr-xr-x mozhg
drwxr-xr-x vcssync
drwxr-xr-x vcttesting
-rw-r--r-- 2019-07-03 11:28 -0400 6872 Makefile
-rw-r--r-- 2019-07-03 11:28 -0400 1559 conf.py
-rw-r--r-- 2019-07-03 11:28 -0400 3131 githubwebhooks.rst
-rw-r--r-- 2019-07-03 11:28 -0400 4206 headless-repositories.rst
-rw-r--r-- 2019-07-03 11:28 -0400 104716 hosting-service.png
-rw-r--r-- 2019-07-03 11:28 -0400 1727 index.rst
-rw-r--r-- 2019-07-03 11:28 -0400 196 settings_local.py
-rw-r--r-- 2019-07-03 11:28 -0400 1206 vcs-server-info
-rw-r--r-- 2019-07-03 11:28 -0400 2088 vcs-server-info.asc