diff options
| author | /dev/humancontroller <devhc@example.com> | 2017-04-16 23:31:57 +0200 |
|---|---|---|
| committer | Paweł Redman <pawel.redman@gmail.com> | 2017-04-18 01:14:59 +0200 |
| commit | fccf00cdad1dd8af0b85632ac8e3ae84bbc956bf (patch) | |
| tree | 1a04da21b4681352b69dfbae5182873e40c52c59 /GNUmakefile | |
| parent | ad3fc9ec2cc4b274216bff296e6afdc7647588b5 (diff) | |
use >= in conditions of the form (level.time - some_base_time) vs some_time_length
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions