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