integer_range moved to new header

[SVN r7719]
This commit is contained in:
Jeremy Siek 2000-09-18 09:55:23 +00:00
parent 108849916e
commit 25fe2d2f73

@ -1 +1 @@
Subproject commit 417ef982b61a8c6c14a4b7df427cc4b500afe15c
Subproject commit acc52b59ef81815b2ae344d570f6df2f948a2a9e