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

Bug 526355 - [CodeEditWidget] Filename is not configurable #240

Merged
merged 1 commit into from Dec 5, 2017
Merged

Bug 526355 - [CodeEditWidget] Filename is not configurable #240

merged 1 commit into from Dec 5, 2017

Conversation

spahnke
Copy link
Contributor

@spahnke spahnke commented Oct 23, 2017

No description provided.

Signed-off-by: Sebastian Pahnke <pahnke.sebastian@gmail.com>
@eclipsewebmaster
Copy link

Issue tracker reference:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=526355

@coveralls
Copy link

Coverage Status

Coverage increased (+0.007%) to 31.449% when pulling f00d870 on spahnke:Bug526355 into 988235d on eclipse:master.

@mrennie mrennie merged commit 0e02d44 into eclipse:master Dec 5, 2017
@spahnke spahnke deleted the Bug526355 branch January 13, 2018 18:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
4 participants