* tentative merge of onelab myplc

[myplc.git] / plc.d / dns

diff --git a/plc.d/dns b/plc.d/dns
index 8c8f87c..1727e8d 100755 (executable)
--- a/plc.d/dns
+++ b/plc.d/dns
@@ -8,7 +8,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id: dns,v 1.2 2006/05/26 19:57:30 mlhuang Exp $
+# $Id: dns 129 2007-03-20 12:04:03Z thierry $
 #
 
 # Source function library and configuration