Skip to content

[TASK] Rename config.json.example to config.example.json#42

Merged
skorpy2009 merged 1 commit intomainfrom
rename-config-default-json
Sep 17, 2023
Merged

[TASK] Rename config.json.example to config.example.json#42
skorpy2009 merged 1 commit intomainfrom
rename-config-default-json

Conversation

@MyIgel
Copy link
Member

@MyIgel MyIgel commented Sep 16, 2023

Description

Motivation and Context

Mostly to fix syntax highlighter that use the extension

How Has This Been Tested?

Screenshots/links (if appropriate):

Checklist:

  • My code follows the code style of this project. (CI will test it anyway and also needs approval)
  • My change requires a change to the documentation.
  • I have updated the documentation accordingly.

Signed-off-by: Igor Scheller <igor.scheller@igorshp.de>
@MyIgel MyIgel force-pushed the rename-config-default-json branch from 78a99c5 to 387310c Compare September 16, 2023 23:44
@skorpy2009 skorpy2009 merged commit b042645 into main Sep 17, 2023
@skorpy2009 skorpy2009 deleted the rename-config-default-json branch September 17, 2023 13:21
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