Add the file header.

2 years ago · 992d17c8ed
parent 88b00151b0
commit 992d17c8ed
1 changed files with 6 additions and 0 deletions
--- a/docs/utils/number_headings.py
+++ b/docs/utils/number_headings.py
@ -1,3 +1,9 @@
 """
 File: number_headings.py
 Created Time: 2023-02-16
 Author: Krahets (krahets@163.com)
 """
 import re
 def get_heading_info_from_nav(mkdocs_path):