Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | config_file.ml | 29061 | logplain |
-rw-r--r-- | config_file.mli | 15223 | logplain |
-rw-r--r-- | configwin.ml | 3636 | logplain |
-rw-r--r-- | configwin.mli | 14131 | logplain |
-rw-r--r-- | configwin_ihm.ml | 42594 | logplain |
-rw-r--r-- | configwin_keys.ml | 115904 | logplain |
-rw-r--r-- | configwin_messages.ml | 2546 | logplain |
-rw-r--r-- | configwin_types.ml | 11846 | logplain |
-rw-r--r-- | editable_cells.ml | 3512 | logplain |
-rw-r--r-- | okey.ml | 5785 | logplain |
-rw-r--r-- | okey.mli | 5136 | logplain |