User Activity

  • Committed [4ad18f]

    Fix Debian bug #684772: section @label is used ...

  • Committed [b28f0b]

    Fix Debian bug #793077: allow to put a figure a...

  • Committed [3b8ef3]

    Fix debian bug #766945 by warning about the mis...

  • Committed [2c3fa0]

    Fix Debian bug #792898: improve the PDF metadat...

  • Committed [fa08f0]

    Cosmetic.

  • Committed [ed3a3c]

    Move the mercurial scripts to a dedicated direc...

  • Committed [6527b6]

    Some scripts to manipulate mercurial repositori...

  • Committed [3dcdc8]

    Add tools to synchronize the sourceforge remote...

View All

Personal Data

Username:
marsgui
Joined:
2003-01-27 19:27:51

Projects

Skills

  • No skills entered.

Personal Tools