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