[datalog/f18: 5/5] merge

[John D. Ramsdell]

commit c2edd41c82cf8af67b74d528ebfbd148d75354e3
Merge: a5da64b 83c1a00
Author: John D. Ramsdell <ramsdell at mitre.org>
Date:   Mon Apr 1 08:04:53 2013 -0400

    merge

 .gitignore   |    1 +
 datalog.spec |   10 ++++++++--
 sources      |    2 +-
 3 files changed, 10 insertions(+), 3 deletions(-)
---