Files

 develop

/

.github

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

andkaha

Use "make pdf" in Github test

Jul 3, 2020

72884d3 · Jul 3, 2020

History

History

/

.github

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
ISSUE_TEMPLATE		ISSUE_TEMPLATE	Remove template for support requests	Nov 15, 2019
workflows		workflows	Use "make pdf" in Github test	Jul 3, 2020
View all files