diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-04-01 07:38:49 +0200 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-04-01 07:38:49 +0200 |
| commit | 3cc7b6fa5ddaea8cbc29a32ede638834ef83de56 (patch) | |
| tree | 636fb6a90691bc8303619ee33ac0042db0e69f62 /doc/tools/makemd.py | |
| parent | 8708a284f7b5390a48ea2fd95848f60cc40d0bf0 (diff) | |
| parent | 995890d5b29fc0dc4eca66d9f11e1e3f8f275ae0 (diff) | |
| download | redot-engine-3cc7b6fa5ddaea8cbc29a32ede638834ef83de56.tar.gz | |
Merge pull request #4194 from HeartoLazor/timerpause
Now the timer could be paused
Diffstat (limited to 'doc/tools/makemd.py')
0 files changed, 0 insertions, 0 deletions