This reverts commit eb502eed24.
eb502eed24
* update MAKE-EXPORTS-ALL and run it * now served from Interlisp/.github repo * Revert "update MAKE-EXPORTS-ALL and run it" This reverts commit 08e8c7fd8b. split out
08e8c7fd8b