[letor] Ship 2 more used headers from common/
commit720c90670fe08a8a1ec28cd9a46afb0ecbe1105c
authorOlly Betts <olly@survex.com>
Sat, 22 Jul 2023 05:55:44 +0000 (22 17:55 +1200)
committerOlly Betts <olly@survex.com>
Sat, 22 Jul 2023 05:55:44 +0000 (22 17:55 +1200)
tree400efe9cbaa3b7ef77848ebe14d5a6f2d375b41a
parentb5c564852a3dfe12cef93c1738cb759488bb3a59
[letor] Ship 2 more used headers from common/
xapian-letor/Makefile.am