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