Skip to content
Snippets Groups Projects
Unverified Commit 26b27be8 authored by mergify[bot]'s avatar mergify[bot] Committed by GitHub
Browse files

Merge pull request #9958 from cabalism/rename/project-extension 

Rename projects to have `.project` extension
parents 8e150adb d8147f62
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 35 additions and 35 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment