diff options
| author | Son Ho | 2021-12-07 17:45:07 +0100 |
|---|---|---|
| committer | Son Ho | 2021-12-07 17:45:07 +0100 |
| commit | 7352e6132d1ce00809b9b2b85bea8eac2c7bf1b7 (patch) | |
| tree | 383712e473db2cb0d21922f6367c4cad8ccd0605 /src/Substitute.ml | |
| parent | 8c0c84d0e748a3e7bf3625ca58428d0cff022947 (diff) | |
Update the formatting for the logger
Diffstat (limited to 'src/Substitute.ml')
0 files changed, 0 insertions, 0 deletions