branch: externals/javaimp commit 183ec3897693bc4d7a427e164c2da324a23da878 Author: Filipp Gunbin <fgun...@fastmail.fm> Commit: Filipp Gunbin <fgun...@fastmail.fm>
* javaimp.el (javaimp-forget-all-cached): Rename to javaimp-flush-cache --- javaimp.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/javaimp.el b/javaimp.el index 7723f15..e2a1e37 100644 --- a/javaimp.el +++ b/javaimp.el @@ -813,8 +813,8 @@ start (`javaimp-scope-start') instead." ;; Misc -(defun javaimp-forget-all-cached () - "Forget all cached data." +(defun javaimp-flush-cache () + "Flush all caches." (setq javaimp-jar-cache nil))