diff options
| author | Maxime Dénès | 2020-09-18 12:58:31 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2020-09-18 14:18:37 +0200 |
| commit | b6a925806f5eccf7510fe53416c52192c2ffb0a1 (patch) | |
| tree | 6145a89402f74cb4ef50d77882f77cf5ff069b46 /dev | |
| parent | 286a51836e4a6b0f710b125e6cc6b2b19e455ff3 (diff) | |
Make `simple apply in ...` point to `simple apply`
Instead, the example was duplicated.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions