mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2025-07-21 22:53:31 +02:00
8 lines
217 B
Diff
8 lines
217 B
Diff
--- a/OCamlMakefile 2023-01-26 08:33:13.101689847 +0100
|
|
+++ b/OCamlMakefile 2023-01-26 08:34:59.133050720 +0100
|
|
@@ -1117,3 +1117,5 @@
|
|
.PHONY: nobackup
|
|
nobackup:
|
|
rm -f *.bak *~ *.dup
|
|
+
|
|
+inilexer.cmi : parseini.cmo
|