Skip to content

Commit 0654105

Browse files
jogietjogiet
committed
corecting .merlin call for packages
1 parent 393fc7f commit 0654105

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎.merlin

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
S src/
22
B _build/src/
3-
pkg msat minisat
3+
PKG msat minisat

0 commit comments

Comments
 (0)