2017-10-27 08:10:54 +02:00
|
|
|
{{template "base/head" .}}
|
2023-02-01 23:56:10 +01:00
|
|
|
<div role="main" aria-label="{{.Title}}" class="page-content repository file list">
|
2017-10-27 08:10:54 +02:00
|
|
|
{{template "repo/header" .}}
|
|
|
|
|
<div class="ui container">
|
2024-03-15 00:24:59 +01:00
|
|
|
{{template "shared/search/code/search" .}}
|
2017-10-27 08:10:54 +02:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
{{template "base/footer" .}}
|
