diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/views.ml | 6 | 
1 files changed, 5 insertions, 1 deletions
| diff --git a/lib/views.ml b/lib/views.ml index 74e8e7a..0fe9b86 100644 --- a/lib/views.ml +++ b/lib/views.ml @@ -76,9 +76,13 @@ end  let root () =    let all_repositories = +    (* Ignore hidden directories. *)      let repos =        Sys.readdir config.git_project_root -      |> Array.to_list |> List.sort String.compare +      |> Array.to_list +      |> List.filter (fun name -> +          not (name.[0] = '.')) +      |> List.sort String.compare      in      let li_of_repo repo =        HTML.li [] [ Routes.link_to (Routes.Repo repo) (txt "%s" repo) ] | 
