renaming: contain? -> any?, deep-contains? -> deep-any?, pad-left -> pad-head, pad...
[factor/jcg.git] / unmaintained / adsoda / tools / authors.txt
bloba6a96933f49fb90db0467df908f1ed97fd964c60
1 Jeff Bigot