X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Frecode.ui;h=45a3a6cc2c4fea79611996484ae8be214becbefe;hb=20ab4257de9330d8ad358fd8f66ebcd75bd1846a;hp=c573dba0607f7f85c45394330ede2946e0e7b283;hpb=7c08a6e1009cf60847e770a77a73c650e9326379;p=pspp
diff --git a/src/ui/gui/recode.ui b/src/ui/gui/recode.ui
index c573dba060..45a3a6cc2c 100644
--- a/src/ui/gui/recode.ui
+++ b/src/ui/gui/recode.ui
@@ -593,7 +593,7 @@
True
GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
0
- Convert numeric strings to numbers ('5' -> 5)
+ Convert numeric strings to numbers (`5' -> 5)
1
@@ -689,7 +689,7 @@