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

🐛 Fix unwanted continuous numbering for some enumerated types #1824

Merged
merged 1 commit into from
Jan 28, 2025

🐛 Fix unwanted continuous numbering for some enumerated types

860f514
Select commit
Loading
Failed to load commit list.
Merged

🐛 Fix unwanted continuous numbering for some enumerated types #1824

🐛 Fix unwanted continuous numbering for some enumerated types
860f514
Select commit
Loading
Failed to load commit list.
Netlify / Pages changed - mystmd completed Jan 28, 2025 in 1m 58s

146 new files uploaded

70 generated pages and 76 assets changed.

Details

Changed pages include:

  • index.html - view
  • cross-references.html - view
  • proofs-and-theorems.html - view
  • contribute-templates.html - view
  • deployment.html - view
  • contributing.html - view
  • background.html - view
  • settings.html - view
  • creating-pdf-documents.html - view
  • website-downloads.html - view

There are more changes not included in the list