diff options
author | Loïc Hoguin <[email protected]> | 2015-12-30 01:45:48 +0100 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2015-12-30 01:45:48 +0100 |
commit | 2db7fbe722e754523d557476b3832b827ffc0402 (patch) | |
tree | 2c158a4b4af89f277763f323bae3dc5de85d2073 /guide/ci.html | |
parent | 23355693a09d1af85c054d95b5539bcffe2753f3 (diff) | |
download | erlang.mk-2db7fbe722e754523d557476b3832b827ffc0402.tar.gz erlang.mk-2db7fbe722e754523d557476b3832b827ffc0402.tar.bz2 erlang.mk-2db7fbe722e754523d557476b3832b827ffc0402.zip |
Update user guide
Diffstat (limited to 'guide/ci.html')
-rw-r--r-- | guide/ci.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/guide/ci.html b/guide/ci.html index 1e95809..ef9811d 100644 --- a/guide/ci.html +++ b/guide/ci.html @@ -13,6 +13,7 @@ main{margin-top:2em;text-align:justify} main h2, main h3{margin-top:2em} a{color:#d9230f;text-decoration:none} a:hover{text-decoration:underline} +a.xref{display:none} h1, h2, h3{font-weight:normal} div.navfooter{margin-bottom:1em} --></style> |