8000 Correct ⎕R header formating issues. · Issue #267 · Dyalog/documentation · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Correct ⎕R header formating issues. #267

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
Closed
bear8642 opened this issue May 22, 2025 · 0 comments · Fixed by #269
Closed

Correct ⎕R header formating issues. #267

bear8642 opened this issue May 22, 2025 · 0 comments · Fixed by #269
Assignees
@bear8642
Labels
Aim: v20.0 lang ref guide

Comments

@bear8642
Copy link
Contributor
bear8642 commented May 22, 2025 •
edited
Loading

Whilst working on ⎕R, I noticed various heading/section issues - correct them.
@bear8642 bear8642 self-assigned this May 22, 2025
@bear8642 bear8642 linked a pull request May 22, 2025 that will close this issue
267 correct ⎕R formating issues #269
Merged
@bear8642 bear8642 mentioned this issue May 22, 2025
Merged
bear8642 added a commit that referenced this issue May 23, 2025
@bear8642
Merge pull request #269 from Dyalog/267-correct-quadr-formating
84c373d 
267 correct ⎕R formating issues: closes #267
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@bear8642 bear8642

Labels
Aim: v20.0 lang ref guide
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

267 correct ⎕R formating issues Dyalog/documentation
1 participant
@bear8642
0