00f9ab19ac
The script used to identify and update the change is added into the GitHub workflows script directory. A workflow action can be created to trigger the script to update the headers on the first of every new year. Possibly a task for a consequent PR. |
||
|---|---|---|
| .. | ||
| copy-as-format | ||
| dtrt-indent | ||
| ietf | ||
| multiple-cursors | ||
| nav-flash | ||
| parinfer | ||