diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2017-03-01 22:45:50 +0100 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2017-03-01 22:45:50 +0100 |
| commit | 535848aeafba48cf7c3729fb2e5f15f12acf123a (patch) | |
| tree | 05ed5f5c8c968334c069fe61f4806f76376c064c /programs/mine.rob | |
| parent | 6149ed650b00dde6b91679880ce8cec66c729f8c (diff) | |
cin.get() -> usleep()
Diffstat (limited to 'programs/mine.rob')
0 files changed, 0 insertions, 0 deletions