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.

Sign up for GitHub

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

Jump to bottom

Modify Eclipse environment #205

Open
schmouk opened this issue Mar 19, 2019 · 0 comments
Open

Modify Eclipse environment #205

schmouk opened this issue Mar 19, 2019 · 0 comments
Assignees
@schmouk
Labels
enhancement Enhancement of an already existing feature or request long term issue Should take a while before closing

Comments

@schmouk
Copy link
Contributor

schmouk commented Mar 19, 2019

This is a long term issue.
Let's use this issue as the label every time we commit or push any modification of the Eclipse environment.
@schmouk schmouk added enhancement Enhancement of an already existing feature or request long term issue Should take a while before closing labels Mar 19, 2019
schmouk added a commit that referenced this issue Mar 19, 2019
@schmouk
#205-Modify Eclipse environment
ac5dc10 
File `.pydevproject` automatically modified to force the use of Python 3.7 interpreter in Eclipse projects.
schmouk added a commit that referenced this issue Apr 12, 2019
@schmouk
#205-Modify Eclipse environment
be52d0f 
Let's remove `.settings` directory from configuration management.
schmouk added a commit that referenced this issue Apr 12, 2019
@schmouk
#205-Modify Eclipse environment
439d87c 
We use now Eclipse 2019-03.
PhHays added a commit that referenced this issue Sep 28, 2019
@PhHays
#205-Modify Eclipse environment
a6bb1a8 
Added and/or mdofied and/or fixed stuff according to the new installation of Eclipse 2019-09: documentation and configuration files.
PhHays added a commit that referenced this issue Sep 28, 2019
@PhHays
Merge pull request #269 from Typee-Language/dev
f215d72 
#205-Modify Eclipse environment
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@schmouk schmouk

Labels
enhancement Enhancement of an already existing feature or request long term issue Should take a while before closing
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@schmouk @PhHays @kerm-typee