-- Just used to test that we correctly handle non-existent plugins
module Main where
-- The contents of this file are actually irrelevant

main = return ()