Le jeudi, 8 mars 2012 à 14:29, Edgar Friendly a écrit : > For myself, when I want to remove something installed by odb, I usually > just nuke my whole ~/.odb directory and reinstall the packages I want to > keep.
I like your down to earth approach ! Daniel -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
