swh:1:snp:3af89e0c6f482ba7e9545bf8e295ed747de3e1ee
Tip revision: 24adfd38d4381239d8fa0cb0f98b83316aa7cd93 authored by Joshua J. Cogliati on 24 December 2019, 04:15:43 UTC
README is now redundant with README.md.
README is now redundant with README.md.
Tip revision: 24adfd3
caseignoredp
CASEIGNOREDP (variable)
if TRUE, indicates that lower case and upper case letters should be
considered equal by EQUALP, BEFOREP, MEMBERP, etc. Logo initially
makes this variable TRUE, and buries it.
