diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-03-24 22:48:01 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-24 22:48:01 +0100 |
| commit | c25246d158c0d466d2b082803f3c86837e86b144 (patch) | |
| tree | 959ce557f00cb47fdf6541c9bf0b881a332ed94f /signal_renames.txt | |
| parent | 296ece2c6a61630bfdb9b31dce46e5e2d1cda7cf (diff) | |
| parent | 636963b11dad2f7f506831f4dfea23466ab678dc (diff) | |
Merge pull request #8010 from AlexHolly/Timer-is_time_left
added Timer is_time_left()
Diffstat (limited to 'signal_renames.txt')
0 files changed, 0 insertions, 0 deletions