| commit | d8c7ee00a687ac369e62e2032514a93a9b413502 | [log] [tgz] |
|---|---|---|
| author | Henry Schreiner <henry.fredrick.schreiner@cern.ch> | Mon Jul 20 13:35:21 2020 -0400 |
| committer | GitHub <noreply@github.com> | Mon Jul 20 13:35:21 2020 -0400 |
| tree | ba215d3410cde2834da1726f1fefe99b3a422c6c | |
| parent | e248869893163b95cffb4a63e899e5d933f3ef20 [diff] [blame] |
ci: GHA basic format & pre-commit (#2309)
diff --git a/tools/mkdoc.py b/tools/mkdoc.py index cd982e0..a22aacd 100755 --- a/tools/mkdoc.py +++ b/tools/mkdoc.py
@@ -1,4 +1,5 @@ #!/usr/bin/env python3 +# -*- coding: utf-8 -*- # # Syntax: mkdoc.py [-I<path> ..] [.. a list of header files ..] #