Skip to content

Conversation

kigster
Copy link
Contributor

@kigster kigster commented Jul 8, 2021

Added a simple makefile with PDF generation and other goodies.

@kigster kigster requested a review from yugui as a code owner July 8, 2021 01:59
@kigster kigster merged commit a1ddd91 into master Jul 8, 2021
@kigster kigster deleted the kig/readme branch July 8, 2021 02:12
@kigster kigster self-assigned this Jul 8, 2021
@kigster kigster added the documentation Improvements or additions to documentation label Jul 8, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant