Skip to content

Generación PDFs al realizar git push#18

Open
advy99 wants to merge 4 commits intoDGIIMUnderground:masterfrom
advy99:master
Open

Generación PDFs al realizar git push#18
advy99 wants to merge 4 commits intoDGIIMUnderground:masterfrom
advy99:master

Conversation

@advy99
Copy link
Contributor

@advy99 advy99 commented Jan 12, 2018

Script para crear y añadir PDF a partir de ficheros .tex al realizar push.

Solución #6

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant