From 84be2299d395994c745b375d6dfab778bdf22bf5 Mon Sep 17 00:00:00 2001 From: aviatesk Date: Sun, 24 Nov 2019 22:36:01 +0900 Subject: [PATCH] fix html tags --- src/refactor.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/refactor.jl b/src/refactor.jl index a5c987f9..692c0ddc 100644 --- a/src/refactor.jl +++ b/src/refactor.jl @@ -195,7 +195,7 @@ function contextdescription(old, mod, context) gotouri = urigoto(mod, old) """ `$old` isn't found in local bindings in the current context: -
Context:
$(strip(context))

+
Context:
$(strip(context))
If you want a global rename refactoring on `$mod.$old`, you need to run this command from its definition. @@ -242,6 +242,6 @@ function errdescription(oldword, newword, err) """ Rename refactoring `$oldword` ⟹ `$newword` failed. -
Error:
$(errmsg(err))

+
Error:
$(errmsg(err))
""" end