John D Pell 8052911861 plugin/history: don't use export ...

...so the plugin is friendly to variables already marked read-only.

2022-02-08 16:59:29 -08:00

..

available

plugin/history: don't use export

2022-02-08 16:59:29 -08:00