kris
/
pqc
1
1
Fork 0
Code Issues 0 Pull Requests 0 Releases 0 Wiki Activity
Browse Source

Fix font size of pull request template header 

The previous header size was a bit excessive, overshadowing actual comments.
master
Joost Rijneveld 5 years ago
committed by GitHub
parent
5bec3e77f2
commit
d113b45cf0
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Split View
Diff Options
Show Stats Download Patch File Download Diff File
  1. +1
    -1
      .github/pull_request_template.md

+ 1
- 1
.github/pull_request_template.md View File

@@ -3,7 +3,7 @@
<!-- Type some lines about your submission -->


## Manually checked properties
#### Manually checked properties
<!-- These checkboxes serve for the maintainers of PQClean to verify your submission. Please do not check them yourself. -->

* [ ] `#ifdef`s only for header encapsulation


Write Preview
Loading…
Cancel
Save