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