diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-04-25 19:46:30 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-04-25 21:17:11 +0200 |
| commit | 8330f5cfd6a332df10fc806b0c0bdab6e0abe8e7 (patch) | |
| tree | 56ab646154a576454a1ee34ad1cc0a8c6e7a70fe /lib/lib.mllib | |
| parent | 9e36fa1e7460d256a4f9f37571764f79050688e2 (diff) | |
Adding a stm/ folder, as asked during last workgroup. It was essentially moving
files around. A bunch of files from lib/ that were only used in the STM were
moved, as well as part of toplevel/ related to the STM.
Diffstat (limited to 'lib/lib.mllib')
| -rw-r--r-- | lib/lib.mllib | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/lib/lib.mllib b/lib/lib.mllib index 50621df20..edef3da03 100644 --- a/lib/lib.mllib +++ b/lib/lib.mllib @@ -10,7 +10,6 @@ Unicode System CThread Spawn -Spawned Trie Profile Explore @@ -23,7 +22,3 @@ Genarg Ephemeron Future RemoteCounter -Dag -Vcs -TQueue -WorkerPool |