Adding header in all files
Showing
- checking_conflicts.sh 8 additions, 0 deletionschecking_conflicts.sh
- generateChangemarks/addTrackedChanges.py 1 addition, 1 deletiongenerateChangemarks/addTrackedChanges.py
- generateChangemarks/changemarks.py 1 addition, 1 deletiongenerateChangemarks/changemarks.py
- generateChangemarks/pandocFilter.py 1 addition, 1 deletiongenerateChangemarks/pandocFilter.py
- generateChangemarks/setup.py 2 additions, 2 deletionsgenerateChangemarks/setup.py
- generateChangemarks/svg2png.py 9 additions, 0 deletionsgenerateChangemarks/svg2png.py
- generate_changemarks.sh 9 additions, 0 deletionsgenerate_changemarks.sh
- publish_on_pages.sh 8 additions, 0 deletionspublish_on_pages.sh
- publish_spec.sh 11 additions, 0 deletionspublish_spec.sh
- spec_on_pages.sh 10 additions, 0 deletionsspec_on_pages.sh
Loading
Please register or sign in to comment