diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-07-20 20:08:21 +0200 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-07-20 20:08:21 +0200 |
| commit | a95b89750c9d0f4c1f125a122b4525229e9a351c (patch) | |
| tree | 9f2230ccae0ba561d067759f8018d1bfd567c229 | |
| parent | bc5ff6cc4a322d9b9ddaf15372b2e81f9f793dde (diff) | |
| -rw-r--r-- | lib/views.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/views.ml b/lib/views.ml index 0fe9b86..6738cd3 100644 --- a/lib/views.ml +++ b/lib/views.ml @@ -54,6 +54,7 @@ module Page = struct head [] [ title [] "%s" page_title; + meta [ name "viewport"; content "width=device-width, initial_scale=1" ]; link [ rel "stylesheet"; href "/static/styles.css" ]; link [ rel "icon"; type_ "image/x-icon"; href "/static/git_icon.svg" ]; ] @@ -80,8 +81,7 @@ let root () = let repos = Sys.readdir config.git_project_root |> Array.to_list - |> List.filter (fun name -> - not (name.[0] = '.')) + |> List.filter (fun name -> not (name.[0] = '.')) |> List.sort String.compare in let li_of_repo repo = |