diff options
| author | 2022-12-09 18:17:51 +0100 | |
|---|---|---|
| committer | 2022-12-09 18:19:48 +0100 | |
| commit | 54fd29319a024b64914e7710a4924d2025ac6423 (patch) | |
| tree | a71c06a4684cae9218bf2060f2ef73a1d8c857ee /README.org | |
| parent | Restore explicit use of base cases (diff) | |
More extensive warning about the appropriateness of the name product
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions
