gdb/
authorYao Qi <yao@codesourcery.com>
Wed, 16 Jan 2013 14:53:24 +0000 (14:53 +0000)
committerYao Qi <yao@codesourcery.com>
Wed, 16 Jan 2013 14:53:24 +0000 (14:53 +0000)
commit5a18e3023970ba2542ebdcbab920acbeabd672ce
treeac00b281a4269e810343c68a01e76bbdc71d5c1d
parent85e00e85485f96aaaef50cf8f2a8567c2c5ac9c0
gdb/
* printcmd.c (current_display_number): Make it static.
gdb/ChangeLog
gdb/printcmd.c