Skip to content
Snippets Groups Projects
Select Git revision
No matching results
An error occurred while fetching branches. Retry the search.
An error occurred while fetching tags. Retry the search.
Blame Permalink
  • Giovanni Bussi's avatar
    d22394b4
    License related stuff · d22394b4
    Giovanni Bussi authored 
    I added a PEOPLE file containing list of authors and a script
(src/header.sh) which applies the Licence to all the source files.

It can be applies multiple times (it automatically deletes the present header
and replace it with the new one). Thus, to change the header, edit header.sh
and execute it.
    d22394b4
    History
    License related stuff
    Giovanni Bussi authored 
    I added a PEOPLE file containing list of authors and a script
(src/header.sh) which applies the Licence to all the source files.

It can be applies multiple times (it automatically deletes the present header
and replace it with the new one). Thus, to change the header, edit header.sh
and execute it.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.