changeset 75186 | 84532574c209 |
parent 74857 | 25e9e7088561 |
child 75410 | 832f764093e1 |
--- a/Admin/Release/CHECKLIST Wed Mar 02 16:48:42 2022 +0100 +++ b/Admin/Release/CHECKLIST Wed Mar 02 20:32:16 2022 +0100 @@ -34,9 +34,6 @@ - check versions: src/Tools/jEdit/jedit_base/plugin.props src/Tools/jEdit/jedit_main/plugin.props - -- check Isabelle version: - src/Tools/VSCode/extension/README.md src/Tools/VSCode/extension/package.json - check funny base directory, e.g. "Test 中国";