Skip to content
GitLab
Explore
Sign in
Commit
0024b67a
authored
Mar 11, 2017
by
Ko-
Browse files
Check that set_time_limit is not disabled before calling it
Signed-off-by:
Ko-
<
k.stoffelen@cs.ru.nl
>
parent
801b600e
Changes
8
Hide whitespace changes
Inline
Side-by-side
Preview
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment