Skip to content
This repository has been archived by the owner on Dec 14, 2024. It is now read-only.

Custom file name #135

Open
izhang05 opened this issue Jun 21, 2021 · 0 comments
Open

Custom file name #135

izhang05 opened this issue Jun 21, 2021 · 0 comments

Comments

@izhang05
Copy link

Is there a way to have custom file names? I would like to have the files be named like "1537a.cpp" rather than "a.cpp".

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant