diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-02-18 09:39:53 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-02-18 09:39:53 +0200 |
| commit | dc1ef25f1a7f8e36e93928e5b0288e203833e14a (patch) | |
| tree | b2baa429efd629e55bcd8455a5e46be198d2eba1 /samples/comparisons.sample | |
| parent | 7a6dc3758c361aa7685934a1896db9f23f1d74be (diff) | |
Clean up
Diffstat (limited to 'samples/comparisons.sample')
| -rw-r--r-- | samples/comparisons.sample | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/samples/comparisons.sample b/samples/comparisons.sample deleted file mode 100644 index aea6387..0000000 --- a/samples/comparisons.sample +++ /dev/null @@ -1,2 +0,0 @@ -define gte? lt? not ; -define lte? gt? not ; |