comparison TOOLS/realcodecs/HOWTO @ 18774:332e5ad0ed53

cosmetic changes (defines will be used later in other parts of the code)
author ben
date Wed, 21 Jun 2006 17:50:50 +0000
parents 86c478bea7ce
children 7f9b2b26e905
comparison
equal deleted inserted replaced
18773:518b5935a909 18774:332e5ad0ed53