From dcb569369e97837794f7ca61c12815b5b277d0fe Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Sun, 11 May 2008 19:28:16 +0000
Subject: [PATCH] Tagging module MyPLC - MyPLC-4.2-13 turn myplc-docs off for
 now

-- 
2.47.0