diff options
author | Sven Gothel <[email protected]> | 2015-10-12 08:09:54 +0200 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2015-10-12 08:09:54 +0200 |
commit | 3236695b3e3e86ce61ca973d94cae04e1d5ba1c0 (patch) | |
tree | 67083fc0db224d253767ab70d94d3265e8c8eb59 /make/doc | |
parent | b13806a784f86b18764e9603d6c94ecb81d54dbb (diff) |
Drop Vendor Extensions: INGR and PGI for all profiles
Diffstat (limited to 'make/doc')
0 files changed, 0 insertions, 0 deletions