Devyn Cairns 25cbcb511d Rename plugin cache file ⇒ plugin registry file (#12634) ... # Description So far this seems like the winner of my poll on what the name should be. I'll take this off draft once the poll expires, if this is indeed the winner.		2024-04-24 17:40:39 -05:00
..
cli_error.rs	Remove outdated doccomment on EngineState (#12158)	2024-03-11 14:57:28 +00:00
labeled_error.rs	bump rust-toolchain to 1.75.0 (#12258)	2024-03-21 13:23:39 -05:00
mod.rs	Better generic errors for plugins (and perhaps scripts) (#12236)	2024-03-21 12:27:21 +01:00
parse_error.rs	Rename plugin cache file ⇒ plugin registry file (#12634)	2024-04-24 17:40:39 -05:00
parse_warning.rs	Deprecate register and add plugin use (#12607)	2024-04-23 06:37:50 -05:00
shell_error.rs	Rename plugin cache file ⇒ plugin registry file (#12634)	2024-04-24 17:40:39 -05:00