aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore40
1 files changed, 40 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..90fe83d
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,40 @@
+agh_idub_pl_cmyk.pdf
+
+dependee_counts.svg
+common_2019_2025_percent.svg
+common_nondev_dev_percent.svg
+dev_dependee_counts.svg
+status-counts.svg
+tree-size-stats.svg
+tree-size-stats-no-bc.svg
+unflattened-multiver-counts.svg
+unflattened-multiver-counts-no-bc.svg
+
+definitions-computed-from-results.tex
+tree-size-stats.csv
+tree-size-stats-no-bc.csv
+tree-sizes.csv
+status-counts.csv
+unflattened-multiver-counts.csv
+unflattened-multiver-counts-no-bc.csv
+
+debian-rules-excerpt.txt
+
+svg-inkscape
+*.nav
+*.pdf
+*.log
+*.fls
+*.fdb_latexmk
+*.aux
+*.toc
+*.run.xml
+*.pdf_original
+*.out
+*.lot
+*.lol
+*.lof
+*.blg
+*.bcf
+*.bbl-SAVE-ERROR
+*.bbl