#
# ChangeLog for libabac/prover.c
#
# Generated by Trac 1.2
# Apr 29, 2024 6:15:04 AM

Wed, 14 Jul 2010 00:38:35 GMT Mike Ryan <mikeryan@…> [15200be]

	move libabac into its own directory