[Pkg-running-devel] [SCM] UNNAMED PROJECT branch, master, updated. 5a394b9e7e5005bfb3bc6dedec23ca8038e0245d

Mon May 16 20:54:57 UTC 2011

On Sat, May 14, 2011 at 08:32:09AM +0200, Christian PERRIER wrote:
> 
> I just fixed the git project description to have something better than
> "UNNAMED  PROJECT"..:-)

Good :-)

I also realized that we don't have a wiki page on wiki.debian.org, like
the other projects. What a shame ...

-Ralf.
-- 
Ralf Treinen
Laboratoire Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.pps.jussieu.fr/~treinen/