You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.

Jérôme Carretero 33a60e79e7 treecleaner: 'in [...]' replaced by 'in (...)' where appropriate		12 years ago
..
gfx	Cleanup	13 years ago
snippets	No symlinks in the tree	13 years ago
.gitignore	Initial commit	14 years ago
beamerthemewaf.sty	Initial commit	14 years ago
slides.tex	Initial commit	14 years ago
wscript	treecleaner: 'in [...]' replaced by 'in (...)' where appropriate	12 years ago