projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 536c95e) | patch
add a guard for history saving, to enable building without GNU history library
authorMorgan Deters <mdeters@gmail.com>
Tue, 4 Oct 2011 15:48:03 +0000 (15:48 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 4 Oct 2011 15:48:03 +0000 (15:48 +0000)
commit7961e06fdca05678d27653a0fbe6cec730664a3f
treee1c63d8bb13111bb94b5f2bffd9f09eb831b32fatree
parent536c95e9cd2e98cf3bc01a808ee1ae90df1b1b10commit | diff
add a guard for history saving, to enable building without GNU history library
src/main/interactive_shell.cpp diff | blob | history