git://git.onelab.eu
/
nodemanager.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from:
fcd6d1e
)
for f20 : use dom.state() rather than dom.info() to assess if domain is running or not
author
Thierry Parmentelat
<thierry.parmentelat@inria.fr>
Thu, 20 Feb 2014 15:05:41 +0000
(16:05 +0100)
committer
Thierry Parmentelat
<thierry.parmentelat@inria.fr>
Thu, 20 Feb 2014 15:05:41 +0000
(16:05 +0100)
hopefully should give a more stable release for f20
No differences found