Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[config.nims] Do we need this? #588

Closed
github-actions bot opened this issue Aug 3, 2022 · 5 comments
Closed

[config.nims] Do we need this? #588

github-actions bot opened this issue Aug 3, 2022 · 5 comments
Labels
installer Issues related to the Installation script stale todo Automatically generated issues from TODOs in the code

Comments

@github-actions
Copy link

github-actions bot commented Aug 3, 2022

[config.nims] Do we need this?

Hopefully, it doesn't mess things up too much; but if it's used - and when - we should know.

# TODO(config.nims) Do we need this?


# TODO(config.nims) Do we need this?
#  Hopefully, it doesn't mess things up too much; but if it's used - and when - we should know.
#  labels: installer
    
switch("cincludes","extras")
switch("path","src")
ndex e6fba1ccb..2687ee545 100644
++ b/src/arturo.nim

3eaa7fe93a4198ad6a0f893c3150a3ea1ac89886

@github-actions github-actions bot added installer Issues related to the Installation script todo Automatically generated issues from TODOs in the code labels Aug 3, 2022
@stale
Copy link

stale bot commented Mar 31, 2023

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

@stale stale bot added the stale label Mar 31, 2023
@stale
Copy link

stale bot commented Jul 29, 2023

Closing issue as stale.

Copy link
Author

Closed in 27c7ac3

@drkameleon drkameleon reopened this Nov 29, 2023
@stale stale bot removed the stale label Nov 29, 2023
Copy link

stale bot commented Jul 27, 2024

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

@stale stale bot added the stale label Jul 27, 2024
Copy link

stale bot commented Nov 25, 2024

Closing issue as stale.

@stale stale bot closed this as completed Nov 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
installer Issues related to the Installation script stale todo Automatically generated issues from TODOs in the code
Projects
None yet
Development

No branches or pull requests

1 participant