source: git/Singular/.gdbinit @ 8c1285

spielwiese
Last change on this file since 8c1285 was 21b9ef, checked in by Oleksandr Motsak <motsak@…>, 11 years ago
Added n_Print for printing numbers during debugging
  • Property mode set to 120000
File size: 11 bytes
Line 
1../.gdbinit
Note: See TracBrowser for help on using the repository browser.