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