From: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Date: Tue, 29 Sep 2009 20:41:35 +0000 (-0400)
Subject: only keep formal model
X-Git-Url: http://git.liburcu.org/?a=commitdiff_plain;h=4835864e6a18488deaad4ef96c10aceb717222a1;hp=4835864e6a18488deaad4ef96c10aceb717222a1;p=userspace-rcu.git

only keep formal model
---