diff DOCS/tech/patches.txt @ 23699:2c8bfc750aa5

Also remove generated tools on distclean.
author diego
date Wed, 04 Jul 2007 18:53:39 +0000
parents b52664db931c
children fcc759b20724
line wrap: on
line diff