descriptionA small random number generator to push your luck
last changeTue, 3 Sep 2019 15:20:40 +0000 (17:20 +0200)
shortlog
2019-09-03  danixpushing to remote server master
2019-03-10  danixadded polyfill for random_int in case it doesn't exists
2019-03-10  danixpushing again due to previous error.
2019-03-10  danixinitial working solution. Very plain, no style. Only...
2019-03-10  danixinitial commit
heads
2 years ago master