diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-09-08 18:06:55 +0200 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-09-08 18:06:55 +0200 |
commit | 1ba97f613c25926f4007fda9e38131fbb8961173 (patch) | |
tree | 501051e35c6c44a48b8d8a93e12267ab5d3eb8d0 /src/lib/repr/default.mli | |
parent | d04dec688cc9159d4e3ad47890ae4b1f40c5ec3c (diff) |
Update tengwar
Diffstat (limited to 'src/lib/repr/default.mli')
-rw-r--r-- | src/lib/repr/default.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lib/repr/default.mli b/src/lib/repr/default.mli index 27a84bb..26c7d73 100644 --- a/src/lib/repr/default.mli +++ b/src/lib/repr/default.mli @@ -1 +1 @@ -include Sounds.Sig.REPR with type t = String.t +include Sounds.Sig.REPR |