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