X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Frecode.ui;h=45a3a6cc2c4fea79611996484ae8be214becbefe;hb=b401615e6db40bf74394839b96600afe3a868a95;hp=c573dba0607f7f85c45394330ede2946e0e7b283;hpb=3bbb4370239deb29ebbf813d258aef6249e2a431;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 @@