deploy: ea9d99f3bb
This commit is contained in:
parent
8653165eed
commit
573b8d1ca3
192 changed files with 1919 additions and 1819 deletions
|
|
@ -56,7 +56,7 @@ We enabled the “Discussions” forum on the github-page of our reposit
|
|||
</li>
|
||||
</ul>
|
||||
</div>
|
||||
<div class="navbar-nav d-none d-lg-block"><input type=search class="form-control td-search-input" placeholder=" Search this site…" aria-label="Search this site…" autocomplete=off data-offline-search-index-json-src=/offline-search-index.6d13347581f2cdfa89e23f0c68949bc2.json data-offline-search-base-href=/ data-offline-search-max-results=10>
|
||||
<div class="navbar-nav d-none d-lg-block"><input type=search class="form-control td-search-input" placeholder=" Search this site…" aria-label="Search this site…" autocomplete=off data-offline-search-index-json-src=/offline-search-index.16155e6a127efbc5f5c6e1a4492dd4fd.json data-offline-search-base-href=/ data-offline-search-max-results=10>
|
||||
</div>
|
||||
</nav>
|
||||
</header>
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue