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

Change: GMP doc: add boxes around command structures #2214

Merged
merged 3 commits into from
Jun 4, 2024

Commits on Jun 3, 2024

  1. Configuration menu
    Copy the full SHA
    b928eb3 View commit details
    Browse the repository at this point in the history
  2. GMP doc: print single string pattern in command-structure

    This prevents empty command structure boxes.
    
    It only affects three cases, the elements c, e and r (6.1, 6.2 and
    6.3).  These three elements are described with the pattern 'text' for
    simplicity.
    mattmundell committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    b842d0e View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    988a2b9 View commit details
    Browse the repository at this point in the history