diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-05-26 11:37:26 +0200 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-05-26 11:37:26 +0200 |
| commit | b05013516d858af43f3429683e52adfc4447e896 (patch) | |
| tree | cec3f87efb4f8546b81923040fe4964614ee2917 /lib/views.ml | |
| parent | 68a01545bf9de1d614490a2bdb0cca8f3b1ff7f5 (diff) | |
Update config.
Diffstat (limited to 'lib/views.ml')
| -rw-r--r-- | lib/views.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/views.ml b/lib/views.ml index 0fc9764..456bbd1 100644 --- a/lib/views.ml +++ b/lib/views.ml @@ -1,3 +1,5 @@ +(* -*- mode: tuareg; -*- *) + open Config type head_data = { page_title : string } @@ -92,7 +94,7 @@ let root () = title = "Ogit"; subtitle = "Repositories for " ^ config.user; topnav = HTML.null []; - content = [ repositories_in config.repositories_root ]; + content = [ repositories_in config.repositories_root_path ]; } in Page.render body_data |