Skip to content
Snippets Groups Projects
Commit 59ac7bea authored by Michael Hamann's avatar Michael Hamann
Browse files

Extension manager: Fix cache extension to be .repo 

The dot was missing i.e. the cache files had no real extension at all.
parent cc0082d2
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
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