Merge f7d19d5e53d5e1f62ecdba20542f46644ef12b0e into…

Authored by Deleted user <ghost@github.com> on Oct 10 2018, 1:10 AM.

Details

Committed
GitHub <noreply@github.com>Oct 10 2018, 1:10 AM
Parents
rNIMBUSe86823e1884a: Delete stale documentation.
rNIMBUSf7d19d5e53d5: Add prioritizeExplicitLinks property
Branches
Unknown
Tags
Unknown
This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.
GitHub <noreply@github.com> committed rNIMBUScc1f035cd57d: Merge f7d19d5e53d5e1f62ecdba20542f46644ef12b0e into… (authored by Deleted user <ghost@github.com>).Oct 10 2018, 1:10 AM

Merged Changes

CommitAuthorDetailsCommitted
f7d19d5e53d5Adrian Matteis
Add prioritizeExplicitLinks property 
Jun 25 2015