I've just merged the babel-local-interface branch into the trunk. Alex, Pejman, this means that you should switch to the babel repository, and no longer work on the local-interface branch. Just do
rm _darcs/prefs/defaultrepo darcs pull http://www.pps.jussieu.fr/~jch/software/repos/babel For anyone else, nothing should change. The truly paranoid may want to build with EXTRA_DEFINES=-DNO_LOCAL_INTERFACE. People building for embedded systems shouldn't care -- it's just a couple of kilobytes more. Juliusz _______________________________________________ Babel-users mailing list [email protected] http://lists.alioth.debian.org/mailman/listinfo/babel-users
