X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fexamine.ui;h=316f10439b6c2891e729a4a91b5184a1a8c1ce84;hb=cded1cb84dcf229aa26fa474e52e69109557d83a;hp=e2acfc3f2379bb1891648d4ffc955eb06b5c5ac3;hpb=c81ed3d3c60ca7d576ef9d3d9c9d6863d6f11bf5;p=pspp
diff --git a/src/ui/gui/examine.ui b/src/ui/gui/examine.ui
index e2acfc3f23..316f10439b 100644
--- a/src/ui/gui/examine.ui
+++ b/src/ui/gui/examine.ui
@@ -81,7 +81,7 @@
automatic
etched-in
-