; * .gitignore: Add .deps/.