-
-
Notifications
You must be signed in to change notification settings - Fork 674
Closed
Milestone
Description
The special casing of this directory (in sage.env.sage_include_directories
) seems outdated.
We remove it and change the single include directive that relied on it.
CC: @tobiasdiez @kiwifb @jhpalmieri
Component: refactoring
Author: Tobias Diez, Matthias Koeppe
Branch/Commit: 6ccce6b
Reviewer: Matthias Koeppe, Tobias Diez
Issue created by migration from https://trac.sagemath.org/ticket/30672