added user_shortcut: for Bochs
authorGodmar Back <godmar@gmail.com>
Thu, 28 Aug 2008 02:50:10 +0000 (02:50 +0000)
committerGodmar Back <godmar@gmail.com>
Thu, 28 Aug 2008 02:50:10 +0000 (02:50 +0000)
commite81af6fff9570e6f3f2b13bb9ad54cc17f25aa50
treeee90b4d4a30dcb703624397e4eaccb0f1abc32b5
parent14448b1cf4852f99278a01b1d99b8fc070fc2ff2
added user_shortcut: for Bochs
src/utils/pintos