Revision history of "Tools"

Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • (cur | prev) 19:01, 19 March 2017Seltz (Talk | contribs). . (786 bytes) (+786). . (Created page with "The repertory "tools" contains the definition of generic useful functions in the '''tools file''' : - ''give_random_number_from_0_to_1'', uses the rand function to return a r...")