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.

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

Antora #1292

Closed
wants to merge 12 commits into from
Closed

Antora #1292

wants to merge 12 commits into from

Commits on Jul 3, 2023

  1. Migrate Structure

    rwinch committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    7b70811 View commit details
    Browse the repository at this point in the history
  2. Copy default antora files

    rwinch committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    10dfc83 View commit details
    Browse the repository at this point in the history
  3. Generate a default navigation

    rwinch committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    690696f View commit details
    Browse the repository at this point in the history
  4. Remove includes

    rwinch committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    b8d87c2 View commit details
    Browse the repository at this point in the history
  5. Fix cross references

    rwinch committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    51f6c79 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    492af54 View commit details
    Browse the repository at this point in the history
  7. Fix includes

    rwinch committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    8b1ee4a View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    c1f6652 View commit details
    Browse the repository at this point in the history
  9. Restructure Overview

    rwinch committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    3507b35 View commit details
    Browse the repository at this point in the history
  10. Migrate tabs

    rwinch committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    fe5f7c9 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2023

  1. Use package naming conventions of lowercase

    This ensures the samples work with the code chomp extension
    rwinch committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    ebaba6f View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d952b1c View commit details
    Browse the repository at this point in the history