Discuss: PR #4222 removes the entire leo/tools folder

13 views

Skip to first unread message

unread,

Nov 29, 2024, 11:29:31 AM11/29/24

to leo-editor

#4217 Suggest removing the obsolete leo/docs/load-leo.html. That suggestion is uncontroversial.

A search revealed that the tools/webroot folder contained the same file with several supporting files. Imo, these files are an embarrassment.

PR #4222 removes the entire tools folder, moving several files to the attic.

Please speak now if you think this is an unwise plan.

Edward

Reply all

Reply to author

Forward

0 new messages