Drop char->hex-value. digit-char-p does the exact same thing.
Drop char->hex-value. digit-char-p does the exact same thing.

darcs-hash:20051220000406-dd2a1-9b7b297f8fbec8d8b51cc54c397b70f7283e8f98

luismbo/arnesi