Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Docs: move permalinks from documents into config #5544

Merged
merged 5 commits into from Jan 8, 2017
Merged

Docs: move permalinks from documents into config #5544

merged 5 commits into from Jan 8, 2017

Commits on Nov 3, 2016

  1. Revert "Add permalinks to docs in '/maintaining/'"

    @parkr
    parkr committed Nov 3, 2016
    Copy the full SHA
    da762ea View commit details
    Browse the repository at this point in the history

  2. Set docs permalink in config

    @parkr
    parkr committed Nov 3, 2016
    Copy the full SHA
    8d1e043 View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2016

  1. appease script/proof --disable-external

    @DirtyF
    DirtyF committed Nov 9, 2016
    Copy the full SHA
    820b704 View commit details
    Browse the repository at this point in the history

  2. appease script/proof --disable-external 

    appease script/proof --disable-external
    @DirtyF
    DirtyF committed Nov 9, 2016
    Copy the full SHA
    830836e View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2017

  1. Merge branch 'master' into revert-5532-perma-docs

    @DirtyF
    DirtyF committed Jan 8, 2017
    Copy the full SHA
    870a573 View commit details
    Browse the repository at this point in the history