source:
git/Singular/.gdbinit
@
8c1285
Last change on this file since 8c1285 was 21b9ef, checked in by , 11 years ago | |
---|---|
|
|
File size: 11 bytes |
Line | |
---|---|
1 | ../.gdbinit |
Note: See TracBrowser
for help on using the repository browser.