Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | defaults.ml | 363 | logplain |
-rw-r--r-- | defaults.mli | 175 | logplain |
-rw-r--r-- | directories.ml | 1534 | logplain |
-rw-r--r-- | directories.mli | 236 | logplain |
-rw-r--r-- | dune | 941 | logplain |
-rw-r--r-- | message.ml | 1433 | logplain |
-rw-r--r-- | message.mli | 105 | logplain |
-rw-r--r-- | session.ml | 4296 | logplain |
-rw-r--r-- | session.mli | 1258 | logplain |
-rw-r--r-- | startup.ml | 4378 | logplain |
-rw-r--r-- | startup.mli | 629 | logplain |
-rw-r--r-- | version.ml | 419 | logplain |
-rw-r--r-- | version.mli | 99 | logplain |
-rw-r--r-- | vycli.ml | 3834 | logplain |
-rw-r--r-- | vyconf_client.ml | 3940 | logplain |
-rw-r--r-- | vyconf_client.mli | 1032 | logplain |
-rw-r--r-- | vyconf_config.ml | 3105 | logplain |
-rw-r--r-- | vyconf_config.mli | 348 | logplain |
-rw-r--r-- | vyconf_pb.ml | 38121 | logplain |
-rw-r--r-- | vyconf_pb.mli | 8109 | logplain |
-rw-r--r-- | vyconf_types.ml | 6635 | logplain |
-rw-r--r-- | vyconf_types.mli | 7438 | logplain |
-rw-r--r-- | vyconfd.ml | 9494 | logplain |