tree 185203420ff48ea1e0b18ac87c86f132c2835e70
parent f7ad158b844b9f676593ab8336d6e778a24db29d
author avm99963 <me@avm99963.com> 1622021747 +0200
committer avm99963 <me@avm99963.com> 1622021747 +0200

fiesta: Add missing file and fixed .gitignore

fiesta's .gitignore classified all PDFs as files that shouldn't be
tracked, with the intention of ignoring compiled LaTeX files. However,
some resources used by the LaTeX source files are actually PDF files
too, so those were ignored. This has been fixed.

Change-Id: I85b7642cec319ef5f4b89da4e88d617f8ccb8283