Comment 2 for bug 1202309

Revision history for this message
Thomas Voß (thomas-voss) wrote :

Having thought about this a little I think having versioned include-directories for the platform api is not a good idea. Removing it until we encounter a real use-case.