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 | 236 | logplain |
-rw-r--r-- | message.ml | 1268 | logplain |
-rw-r--r-- | message.mli | 105 | logplain |
-rw-r--r-- | session.ml | 4267 | logplain |
-rw-r--r-- | session.mli | 1243 | logplain |
-rw-r--r-- | startup.ml | 4341 | logplain |
-rw-r--r-- | startup.mli | 599 | logplain |
-rw-r--r-- | util.ml | 1228 | logplain |
-rw-r--r-- | util.mli | 234 | 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 | 3880 | logplain |
-rw-r--r-- | vyconf_client.mli | 1002 | 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 | 9289 | logplain |