From: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Date: Tue, 29 Sep 2009 20:37:07 +0000 (-0400)
Subject: userspace-rcu formal model removal
X-Git-Tag: v0.1
X-Git-Url: https://git.lttng.org/?p=urcu.git;a=commitdiff_plain;h=5e32821aa6d74b755730c19a8aa66404d2c367c9;hp=5e32821aa6d74b755730c19a8aa66404d2c367c9

userspace-rcu formal model removal

For packaging. Moved to formal-model branch.

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
---