#
# ChangeLog for libabac/prover_plus.o
#
# Generated by Trac 1.2
# May 5, 2024 6:13:09 AM

Fri, 16 Jun 2017 14:28:17 GMT Kyle <khaefner@…> [80a0f3f]

	initial commit