git://git.onelab.eu / plcapi.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Merge branch 'master' of ssh://sapanb@git.planet-lab.org/git/plcapi
[plcapi.git] / PLC / Methods / DeleteSession.py
diff --git a/PLC/Methods/DeleteSession.py b/PLC/Methods/DeleteSession.py
index b55c686..45bb861 100644 (file)
--- a/PLC/Methods/DeleteSession.py
+++ b/PLC/Methods/DeleteSession.py
@@ -1,4 +1,5 @@
 # $Id$
+# $URL$
 import time
 
 from PLC.Method import Method
plcapi