From b37a7639d3f20e1a23aa75031e5428a47c834993 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ask=20Bj=C3=B8rn=20Hansen?= <ask@develooper.com>
Date: Tue, 5 Jun 2012 16:12:58 -0700
Subject: [PATCH] Update dist.ini to use new names for some plugins

---
 dist.ini | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dist.ini b/dist.ini
index 2ba80c8..47cf38a 100644
--- a/dist.ini
+++ b/dist.ini
@@ -35,8 +35,8 @@ version_regexp = ^release/(.*)
 [PkgVersion]
 
 [CheckChangeLog]
-[CompileTests]
-[DistManifestTests]
+[Test::Compile]
+[Test::DistManifest]
 [HasVersionTests]
 [MetaTests]
 [ReadmeFromPod]