Up
–
irmin-server
»
Irmin_server_unix
»
Make_ext
»
Command
» Server_info
Module
Command.Server_info
Used to track information about the server
type
t
=
{
start_time : float;
}