Guillaume Damiand d544f4a5f7 Remove the unused variable warning for the deprecated variable default_random.

2016-06-03 18:11:34 +02:00

..

include/CGAL

Remove the unused variable warning for the deprecated variable default_random.

2016-06-03 18:11:34 +02:00

package_info/Random_numbers

New license.txt files (eol changes)

2013-02-19 16:46:39 +01:00

src/CGAL

No need for a constructor just for default_random

2016-03-23 13:06:17 +01:00

test/Random_numbers

Merge pull request #843 from afabri/Random_print_seed-GF

2016-04-01 11:02:54 +02:00