Tickets
Issues
GPL headers- Id: gpl_headers
- Status: Open
- Initial commit: 15518588b00654718e34e7223e9d69ce82a802f4
- Creation date: 2015-02-21 18:42:42
- Last changed: 2015-02-21 18:42:42
- Created by: Laurent Defert
- File:
- Last changed by: Laurent Defert
- Tag: v0.1
GPL headerss are missing from source files
History