source: git/Singular/.gdbinit @ 08a955

spielwiese
Last change on this file since 08a955 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.