summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2024-04-28 10:02:06 +0200
committerJonas Smedegaard <dr@jones.dk>2024-04-28 10:02:06 +0200
commitdb08d182bba26295f99a100299ec31ca5bc72e68 (patch)
treee8ffb77f46cc7f61c3e30965c596c809ab713c1c /.gitignore
parent45c263f1366bd7b4dae2826c39bccaf06a66e9a0 (diff)
really rename predicate grosserThan -> isGrosserThan
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions