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’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improve documentation #722

Merged
merged 6 commits into from
Dec 30, 2021
Merged

Improve documentation #722

merged 6 commits into from
Dec 30, 2021

Commits on Feb 13, 2021

  1. Improve documentation 

    * Add cross-reference links in many, many places
* Improve the rendering of the documentation in many places
* Fix a bunch of typos and doc compilation warnings
* Improve build system: more recent packages, removed unused packages,
  doc warnings are now errors
    @multani
    multani committed Feb 13, 2021
    Configuration menu
    Copy the full SHA
    f01b1a6 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2021

  1. Merge remote-tracking branch 'origin/master' into improve-doc

    @multani
    multani committed Jun 10, 2021
    Configuration menu
    Copy the full SHA
    4bea57a View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2021

  1. Merge remote-tracking branch 'origin/master' into improve-doc

    @multani
    multani committed Dec 6, 2021
    Configuration menu
    Copy the full SHA
    431d4f4 View commit details
    Browse the repository at this point in the history

  2. fix strucs doc

    @multani
    multani committed Dec 6, 2021
    Configuration menu
    Copy the full SHA
    c27ee39 View commit details
    Browse the repository at this point in the history

Commits on Dec 7, 2021

  1. Merge remote-tracking branch 'origin/master' into improve-doc

    @multani
    multani committed Dec 7, 2021
    Configuration menu
    Copy the full SHA
    a828a55 View commit details
    Browse the repository at this point in the history

Commits on Dec 30, 2021

  1. Merge branch 'master' into improve-doc

    @tvoinarovskyi
    tvoinarovskyi authored Dec 30, 2021
    Configuration menu
    Copy the full SHA
    36d6e47 View commit details
    Browse the repository at this point in the history