Move common_factor headers to integer/

This commit is contained in:
Peter Dimov
2015-01-13 19:55:58 +02:00
parent 7ada3ee926
commit acf272ee7d
3 changed files with 0 additions and 0 deletions