diff options
| author | w0rp <devw0rp@gmail.com> | 2018-06-19 20:53:49 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-06-19 20:53:49 +0100 |
| commit | 82ea36576c2221dc20ca98b748d7c83a25f9a4d3 (patch) | |
| tree | 8d9ff51912934475f8a0fa84674f2ce90a7bb7b4 /doc/ale-idris.txt | |
| parent | fd261d7a171686a395b0c31cbc1c97e24cf24290 (diff) | |
| download | ale-82ea36576c2221dc20ca98b748d7c83a25f9a4d3.zip | |
Move ClockMilliseconds to events, so fewer files are loaded some times
Diffstat (limited to 'doc/ale-idris.txt')
0 files changed, 0 insertions, 0 deletions