diff --git a/.gitignore b/.gitignore index dc459a3210b50406a6481e3208af3dbb3ee200a3..f1c5785fc48fd53c40be0884e98e02d53f3218c3 100644 --- a/.gitignore +++ b/.gitignore @@ -57,3 +57,10 @@ doc/tech_report.bbl doc/tech_report.log doc/tech_report.pdf doc/tech_report.fdb_latexmk +examples/user_types/encoded_data_c +examples/user_types/encoded_data_j +examples/user_types/example_decoder +examples/user_types/example_encoder +doc/tech_report.fls +examples/dynamic/encoded_data +examples/dynamic/gen