git.polytechnique.org Git - platal.git/commit

author	João Pedro Athayde Marcondes de André <jp_git@polytechnique.org>
	Wed, 10 Feb 2010 23:00:11 +0000 (00:00 +0100)
committer	João Pedro Athayde Marcondes de André <jp_git@polytechnique.org>
	Wed, 10 Feb 2010 23:00:11 +0000 (00:00 +0100)
commit	a959b199b8f4790bf311c4e9c4b96b4ffb494eeb
tree	f3e60643f44ddab81d1a849da255044e0a443d37	tree \| snapshot
parent	9f5bd98e936d8cef7ca9f774eeef64dbb8a1b079	commit \| diff

Change on diff options so it works on the new dev (maybe this is due to the migration to lenny at the same time...)