hbina085 d02ecd5a18 updated description of Array.shuffle to properly describe that it uses the same common seed at every runtime, thus being reproducible in general		2019-05-11 18:04:47 -04:00
..
classes	updated description of Array.shuffle to properly describe that it uses the same common seed at every runtime, thus being reproducible in general	2019-05-11 18:04:47 -04:00
tools	doc: Drop unused <demos> tag	2019-04-19 11:03:46 +02:00
Doxyfile	Remove trailing whitespace	2018-11-20 11:15:02 +01:00
Makefile	Clean up & improve makerst.py	2018-12-27 13:57:08 +01:00