diff options
| author | 2022-11-14 15:48:05 -0800 | |
|---|---|---|
| committer | 2022-11-14 15:48:05 -0800 | |
| commit | 38cf6bf401b5cb97b6eaa0dc958fb27e6c0266ac (patch) | |
| tree | 8cf543796fdcc162d5c8738760e4f2fd2c352345 /README.org | |
| parent | Add tests based on examples. Move. (diff) | |
Drop `comparison-procedures'.
It's no longer mentioned in the document.
Diffstat (limited to 'README.org')
0 files changed, 0 insertions, 0 deletions
