Browse thread
Why don't you use batteries?
-
Edgar Friendly
- Rakotomandimby Mihamina
-
Alan Schmitt
-
David Rajchenbach-Teller
-
Alan Schmitt
- David Rajchenbach-Teller
-
Alan Schmitt
-
David Rajchenbach-Teller
- kattla
- Vincent Aravantinos
- Dario Teixeira
- Ashish Agarwal
- Tom Hutchinson
- Richard Jones
- Jake Donham
- Jean-Christophe Filliâtre
- Sylvain Le Gall
- Philippe Wang
- Erik de Castro Lopo
- rixed@h...
- Philip
- Rakotomandimby Mihamina
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | 2009-09-06 (10:15) |
| From: | David Rajchenbach-Teller <David.Teller@e...> |
| Subject: | Re: [Caml-list] Why don't you use batteries? |
I'd say ocamlfind remove batteries ocamlfind remove batteries_threads ocamlfind remove batteries_nothreads On Sun, 2009-09-06 at 12:03 +0200, Alan Schmitt wrote: > On Sat, Sep 5, 2009 at 10:47 AM, David Rajchenbach-Teller > <David.Teller@ens-lyon.org> wrote: > Yes, we need to work on the uninstallation in GODI. > > > Do you have any suggestion to get me out of this state? (I can go and > manually erase something, but I don't know what.) > > > Alan