Skip to content

gitignore the database compilation products.

Also fix a Makefile glitch.

Merge request reports