mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-08-03 11:58:07 -07:00
12 lines
149 B
Diff
12 lines
149 B
Diff
--- a/dune
|
|
+++ b/dune
|
|
@@ -1,7 +1,6 @@
|
|
(library
|
|
(public_name ptmap)
|
|
- (modules ptmap)
|
|
- (libraries seq))
|
|
+ (modules ptmap))
|
|
|
|
(test
|
|
(name test)
|