git://git.onelab.eu
/
myplc.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
* 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