forgot to run pre-commit

OCamlPro · Mar 5, 2019 · 284f6e9 · 284f6e9
1 parent 4595da6
commit 284f6e9
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 2 deletions.
diff --git a/docs/user_doc/index.html b/docs/user_doc/index.html
@@ -145,6 +145,7 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 Michelson is the stack-based language used by the <a href="https://tezos.com" title="Tezos official page">tezos blockchain</a>. Techelson is open
 source and <a href="https://github.com/OCamlPro/techelson" title="Techelson on github.com">hosted on github</a>, where you can find the build instructions. If you just want to
 retrieve a binary, head over to <a href="https://github.com/OCamlPro/techelson/releases" title="Techelson's release page">releases</a>.</p>
+<p>If you have problems or suggestions, help us make Techelson better by <a href="https://github.com/OCamlPro/techelson/issues" title="Techelson's issue tracker">opening an issue</a>.</p>
 <p>Techelson emulates just enough of the tezos blockchain protocol to be able to create smart
 contracts and make transfers between contracts. Currently, techelson only aims at testing
 functional properties of smart contracts. In particular, it does not provide any information about

diff --git a/docs/user_doc/print.html b/docs/user_doc/print.html
@@ -145,6 +145,7 @@ <h1 class="menu-title">Techelson User Documentation</h1>
 Michelson is the stack-based language used by the <a href="https://tezos.com" title="Tezos official page">tezos blockchain</a>. Techelson is open
 source and <a href="https://github.com/OCamlPro/techelson" title="Techelson on github.com">hosted on github</a>, where you can find the build instructions. If you just want to
 retrieve a binary, head over to <a href="https://github.com/OCamlPro/techelson/releases" title="Techelson's release page">releases</a>.</p>
+<p>If you have problems or suggestions, help us make Techelson better by <a href="https://github.com/OCamlPro/techelson/issues" title="Techelson's issue tracker">opening an issue</a>.</p>
 <p>Techelson emulates just enough of the tezos blockchain protocol to be able to create smart
 contracts and make transfers between contracts. Currently, techelson only aims at testing
 functional properties of smart contracts. In particular, it does not provide any information about

diff --git a/docs/user_doc/searchindex.js b/docs/user_doc/searchindex.js
diff --git a/docs/user_doc/searchindex.json b/docs/user_doc/searchindex.json