diff options
| author | Diego Roversi <diegor@tiscali.it> | 2019-09-15 16:38:07 +0200 |
|---|---|---|
| committer | Diego Roversi <diegor@tiscali.it> | 2019-09-15 16:38:07 +0200 |
| commit | 27342a12e0f75fdb692186f6efdb3c4ed8fed09d (patch) | |
| tree | c0e832047fb19300c7a8f9b06fc1642fba11f2ae /cleanstart.sh | |
| parent | 799227d88f4110beaf61908d8f76e06de81a5648 (diff) | |
renamed rnglevel in rnglevel.py for convenience
Diffstat (limited to 'cleanstart.sh')
0 files changed, 0 insertions, 0 deletions