Rodrigo Arias Mallo 697d4e652e Ignore pdf and generated txt

2020-10-09 16:42:06 +02:00

..

.gitignore

Ignore pdf and generated txt

2020-10-09 16:42:06 +02:00

execution.ms

Document the execution pipeline

2020-10-09 16:42:06 +02:00

Makefile

Ignore pdf and generated txt

2020-10-09 16:42:06 +02:00