diff options
| author | 2022-02-18 11:46:24 +0100 | |
|---|---|---|
| committer | 2022-02-18 11:46:24 +0100 | |
| commit | 798d4f4ce8795498b1e2f556d35c2be405085d42 (patch) | |
| tree | 8a615ae7a60064ba02cb9d92862a8e441bdf5de9 /README.org | |
| parent | Prevent psgml-indent from adding a extra level in <body> (diff) | |
Changes ready for second draft
Bug fixes; remove explicit type-test argument to
make-product-comparator; remove dependency on generators; add examples.
Diffstat (limited to 'README.org')
0 files changed, 0 insertions, 0 deletions
