# HG changeset patch
# User Dan Nicolaescu <dann@ics.uci.edu>
# Date 1188359951 0
# Node ID c8a29e0fe869a562a4d4608d78258e7654656289
# Parent  61e72c4e451e906f277d6802539de4438569be12
Undo undocumented change.

diff -r 61e72c4e451e -r c8a29e0fe869 src/.gdbinit
--- a/src/.gdbinit	Wed Aug 29 02:50:53 2007 +0000
+++ b/src/.gdbinit	Wed Aug 29 03:59:11 2007 +0000
@@ -1087,7 +1087,7 @@
 
 show environment DISPLAY
 show environment TERM
-#set args -geometry 80x40+0+0
+set args -geometry 80x40+0+0
 
 # People get bothered when they see messages about non-existent functions...
 xgetptr Vsystem_type