Changeset b5dd9b in git for Singular/cntrlc.cc
- Timestamp:
- May 11, 2017, 1:51:37 PM (7 years ago)
- Branches:
- (u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')
- Children:
- 7e4e2413b34915379e33744359b9f7d47fe10dbd
- Parents:
- 51a89141f37676772b86e98d5c0a646b0cf4d7ca
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/cntrlc.cc
r51a891 rb5dd9b 13 13 #include <sys/wait.h> 14 14 15 #include <kernel/mod2.h>16 17 #include <omalloc/omalloc.h>18 19 #include <reporter/si_signals.h>20 #include <Singular/fevoices.h>21 22 #include <Singular/tok.h>23 #include <Singular/ipshell.h>24 #include <Singular/cntrlc.h>25 #include <Singular/feOpt.h>26 #include <Singular/misc_ip.h>27 #include <Singular/links/silink.h>28 #include <Singular/links/ssiLink.h>15 #include "kernel/mod2.h" 16 17 #include "omalloc/omalloc.h" 18 19 #include "reporter/si_signals.h" 20 #include "Singular/fevoices.h" 21 22 #include "Singular/tok.h" 23 #include "Singular/ipshell.h" 24 #include "Singular/cntrlc.h" 25 #include "Singular/feOpt.h" 26 #include "Singular/misc_ip.h" 27 #include "Singular/links/silink.h" 28 #include "Singular/links/ssiLink.h" 29 29 30 30 /* undef, if you don't want GDB to come up on error */
Note: See TracChangeset
for help on using the changeset viewer.