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