Mode | Name | Size | |
---|---|---|---|
d--------- | adapter | 213 | logplain |
-rw-r--r-- | defaults.ml | 368 | logplain |
-rw-r--r-- | defaults.mli | 175 | logplain |
-rw-r--r-- | directories.ml | 1633 | logplain |
-rw-r--r-- | directories.mli | 290 | logplain |
-rw-r--r-- | dune | 2086 | logplain |
-rw-r--r-- | message.ml | 1433 | logplain |
-rw-r--r-- | message.mli | 105 | logplain |
-rw-r--r-- | session.ml | 4752 | logplain |
-rw-r--r-- | session.mli | 1317 | logplain |
-rw-r--r-- | startup.ml | 4791 | logplain |
-rw-r--r-- | startup.mli | 772 | logplain |
-rw-r--r-- | validate.ml | 887 | logplain |
-rw-r--r-- | version.ml | 419 | logplain |
-rw-r--r-- | version.mli | 99 | logplain |
-rw-r--r-- | vycli.ml | 3995 | logplain |
-rw-r--r-- | vyconf_client.ml | 4701 | logplain |
-rw-r--r-- | vyconf_client.mli | 1183 | logplain |
-rw-r--r-- | vyconf_client_session.ml | 2242 | logplain |
-rw-r--r-- | vyconf_client_session.mli | 533 | logplain |
-rw-r--r-- | vyconf_config.ml | 3268 | logplain |
-rw-r--r-- | vyconf_config.mli | 376 | logplain |
-rw-r--r-- | vyconf_pbt.ml | 57529 | logplain |
-rw-r--r-- | vyconf_pbt.mli | 21576 | logplain |
-rw-r--r-- | vyconfd.ml | 10087 | logplain |