Skip to content

Commit b44ce4f

Browse files
author
Armin Biere
committed
added closed contributing information
1 parent 7d42a55 commit b44ce4f

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

CONTRIBUTING

+4
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
At this point we want to keep complete ownership in one hand
2+
to particularly avoid any additional co-authorship claims.
3+
Thus please refrain from generating pull requests. Use the issue
4+
tracker or send email to '[email protected]' instead.

0 commit comments

Comments
 (0)