# HG changeset patch # User ivo # Date 1164581447 0 # Node ID 32dbc205ba3405655098bfdcba3d38cd0f7b7ea4 # Parent 0603972f083cd84f4093bbc1b9996bd535d93b10 rename all *_nom (nominator) to the correct *_num (numerator) diff -r 0603972f083c -r 32dbc205ba34 DOCS/tech/nut.txt --- a/DOCS/tech/nut.txt Sun Nov 26 22:49:27 2006 +0000 +++ b/DOCS/tech/nut.txt Sun Nov 26 22:50:47 2006 +0000 @@ -237,9 +237,9 @@ max_distance v time_base_count v for(i=0; i