summaryrefslogtreecommitdiffstats
path: root/sources
diff options
context:
space:
mode:
authorthibauth <thibauth@30fcff6e-8de6-41c7-acce-77ff6d1dd07b>2011-08-19 07:13:02 +0000
committerthibauth <thibauth@30fcff6e-8de6-41c7-acce-77ff6d1dd07b>2011-08-19 07:13:02 +0000
commit3af065114124d20d3b1f9430e731bf719d00c113 (patch)
tree342d1e140a5a2d07e2e3ccdcf50acceaa804d376 /sources
parentb62909d446cc0752a84d8891807c99d9fe2f21de (diff)
downloadpacemaker-3af065114124d20d3b1f9430e731bf719d00c113.tar.gz
Preuve de non falsifiabilite
git-svn-id: https://scm.gforge.inria.fr/svn/pacemaker@64 30fcff6e-8de6-41c7-acce-77ff6d1dd07b
Diffstat (limited to 'sources')
0 files changed, 0 insertions, 0 deletions