diff options
| author | Joris | 2021-05-18 12:56:36 +0200 |
|---|---|---|
| committer | Joris | 2021-05-18 12:56:36 +0200 |
| commit | cde24cbf3fbc418af3c98d82e47dcd5df71e5b26 (patch) | |
| tree | 994d532d2d7196ca2dda6f39cdfba36f83d455ce /src/Model/config.ml | |
| parent | d1ce8774ec3291374c222c8f64c085e3a99f6147 (diff) | |
Improve route type
Diffstat (limited to 'src/Model/config.ml')
0 files changed, 0 insertions, 0 deletions