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=b6ff9071cb7359e7d6b06ee01064116117876c16;hp=711a4eafb631e337c55c35b42db03b420e2e1521;hpb=c81ed3d3c60ca7d576ef9d3d9c9d6863d6f11bf5;p=pspp
diff --git a/src/ui/gui/recode.ui b/src/ui/gui/recode.ui
index 711a4eafb6..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 @@