-
Marco Antoniotti authored
Removed NEW-APPEND-DIRECTORIES and replaced with something more modern. See STITCH-NAME-AS-DIRECTORIES and friends.
30909c31
Removed NEW-APPEND-DIRECTORIES and replaced with something more modern. See STITCH-NAME-AS-DIRECTORIES and friends.