Skip to content

Commit 5c077b2

Browse files
author
Matthias Güdemann
committed
Add module_dependencies.txt file
Required for cpplint, cf. diffblue#2196
1 parent df61234 commit 5c077b2

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

‎jbmc/unit/java_bytecode/goto_program_generics/module_dependencies.txt

+2
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
java-testing-utils
2+
testing-utils

0 commit comments

Comments
 (0)