aboutsummaryrefslogtreecommitdiffstats
path: root/src/satd.c
diff options
context:
space:
mode:
authorMattias Andrée <maandree@member.fsf.org>2015-12-29 18:07:47 +0100
committerMattias Andrée <maandree@member.fsf.org>2015-12-29 18:08:04 +0100
commitb168b5cadca0a64a5c820eb4a47d0031c58ac29a (patch)
treeee2ef542e625212c9f1379993d2410c48f54179e /src/satd.c
parentm + satd-diminished: split out spawn from main (diff)
downloadsat-b168b5cadca0a64a5c820eb4a47d0031c58ac29a.tar.gz
sat-b168b5cadca0a64a5c820eb4a47d0031c58ac29a.tar.bz2
sat-b168b5cadca0a64a5c820eb4a47d0031c58ac29a.tar.xz
m
Signed-off-by: Mattias Andrée <maandree@member.fsf.org>
Diffstat (limited to 'src/satd.c')
0 files changed, 0 insertions, 0 deletions