diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2019-01-26 15:11:56 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2019-01-26 15:11:56 -0500 |
| commit | 28ab84cb7b09e23aa0ed014bf2ed1fda56fcefc1 (patch) | |
| tree | 21050a008737ae0e8c096b3897c753310bec465a /tests | |
| parent | 15105e3e62d595fe620d019a7ef9aeeb0197d24d (diff) | |
Stop complaining when a nonexistent option is chosen for cselect
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions