Quoting Peter Flynn <pe...@silmaril.ie>:
There is some other kind of inch?
Just for the heck of it: Wiki knows at least a Scottish inch, a miner's inch, and a pyramid inch, none of which is related to imperial units.
regards, Markus -- Markus Hoenicka http://www.mhoenicka.de AQ score 38 --------------------------------------------------------------------- To unsubscribe, e-mail: docbook-unsubscr...@lists.oasis-open.org For additional commands, e-mail: docbook-h...@lists.oasis-open.org