Simple python script to add/replace license headers in a directory tree of source files
Python
139
122 commits
updated Oct 24, 2023
Python
89.0%
CMake
2.9%
Coq
2.7%
C++
1.9%
Shell
1.7%
C
1.7%
Simple python script to add/replace license headers in a directory tree of source files
Python
139
122 commits
updated Oct 24, 2023
Python
89.0%
CMake
2.9%
Coq
2.7%
C++
1.9%
Shell
1.7%
C
1.7%