diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 40 |
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 |