diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2024-04-28 10:02:06 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2024-04-28 10:02:06 +0200 |
| commit | db08d182bba26295f99a100299ec31ca5bc72e68 (patch) | |
| tree | e8ffb77f46cc7f61c3e30965c596c809ab713c1c /.gitignore | |
| parent | 45c263f1366bd7b4dae2826c39bccaf06a66e9a0 (diff) | |
really rename predicate grosserThan -> isGrosserThan
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions