diff options
Diffstat (limited to 'without-test-modules')
-rw-r--r-- | without-test-modules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/without-test-modules b/without-test-modules index 55e5291d..777000e9 100644 --- a/without-test-modules +++ b/without-test-modules @@ -31,6 +31,7 @@ morphlib/plugins/print_architecture_plugin.py morphlib/plugins/add_binary_plugin.py morphlib/plugins/push_pull_plugin.py morphlib/plugins/distbuild_plugin.py +morphlib/plugins/certify_plugin.py distbuild/__init__.py distbuild/build_controller.py distbuild/connection_machine.py |