You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
minor #78 Move redirection_map from root (WouterJ)
This PR was merged into the 2.7 branch.
Discussion
----------
Move redirection_map from root
Closes#25
As decided in Slack, `_build` is a nice directory for this file.
@javiereguiluz please handle this as you can reflect this change immediately in the build script
Commits
-------
8aad9e3 Move redirection_map from root
0 commit comments