From eb8cb8eaf22c5421ba76cf777368940fd08aa05b Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Thu, 11 Jun 2009 13:52:15 +0000
Subject: [PATCH] for embedemu distro

---
 config.embedemu | 1 +
 1 file changed, 1 insertion(+)
 create mode 120000 config.embedemu

diff --git a/config.embedemu b/config.embedemu
new file mode 120000
index 00000000..9fcb7d32
--- /dev/null
+++ b/config.embedemu
@@ -0,0 +1 @@
+config.onelab
\ No newline at end of file
-- 
2.43.0