Skip to content

Commit 7883cbb

Browse files
authored
Merge pull request #1 from jonahbeckford/duniverse-v15.1.0-oklibs
Remove unused uchar and uutf libraries
2 parents a9adc23 + 1c5976f commit 7883cbb

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

src/dune

+3-3
Original file line numberDiff line numberDiff line change
@@ -3,13 +3,13 @@
33
(public_name uuseg)
44
(wrapped false)
55
(modules :standard \ uuseg_string)
6-
(libraries uchar uucp)
7-
(flags :standard -w -50-39-37-32))
6+
(libraries uucp)
7+
(flags :standard -w -50-39-37-32-27))
88

99
(library
1010
(name uuseg_string)
1111
(public_name uuseg.string)
1212
(wrapped false)
1313
(modules uuseg_string)
14-
(libraries uuseg uutf)
14+
(libraries uuseg)
1515
(flags :standard -w -50-39-37-32))

0 commit comments

Comments
 (0)