summaryrefslogtreecommitdiff
path: root/test/spass/cnf.c
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2015-02-05 21:57:55 -0500
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2015-02-05 21:57:55 -0500
commita2a414ea67a27f62aa287592abafe8e8f8a99c87 (patch)
treec04196a3a5b4b39b3cfe325a0d12f615cb4e6d75 /test/spass/cnf.c
parent9eb7ac638e59461c17491e2ab7b6e75288bcec2d (diff)
debian/changelog: Tag 2.4-1 for unstable releaseHEADmaster
Diffstat (limited to 'test/spass/cnf.c')
0 files changed, 0 insertions, 0 deletions