Skip to content

update recommended file extensions#148

Merged
vagenas merged 1 commit into
mainfrom
update-extensions
Jun 22, 2026
Merged

update recommended file extensions#148
vagenas merged 1 commit into
mainfrom
update-extensions

Conversation

@vagenas

@vagenas vagenas commented Jun 22, 2026

Copy link
Copy Markdown
Member
  • Updated README, spec documentation, and tests to reflect file extension changes
  • Introduced .gitattributes to associate .dclg files with XML language for syntax highlighting

- Updated README, spec documentation, and tests to reflect file extension changes
- Introduced `.gitattributes` to associate `.dclg` files with XML language for syntax highlighting

Signed-off-by: Panos Vagenas <pva@zurich.ibm.com>
@vagenas vagenas requested a review from PeterStaar-IBM June 22, 2026 11:04

@PeterStaar-IBM PeterStaar-IBM left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm!

@vagenas vagenas merged commit 2edac1c into main Jun 22, 2026
10 checks passed
@vagenas vagenas deleted the update-extensions branch June 22, 2026 13:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants