| Summary: | [CSS] Rename e4_default_win7.css to e4_default_win.css | ||
|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Lars Vogel <Lars.Vogel> |
| Component: | UI | Assignee: | Patrik Suzzi <psuzzi> |
| Status: | RESOLVED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | Lars.Vogel |
| Version: | 4.6 | ||
| Target Milestone: | 4.7 M3 | ||
| Hardware: | PC | ||
| OS: | Windows 7 | ||
| See Also: |
https://git.eclipse.org/r/81276 https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=4e0c97140036a77b5ee2f0fa683a66a73b1178a7 |
||
| Whiteboard: | |||
| Bug Depends on: | 501250 | ||
| Bug Blocks: | |||
|
Description
Lars Vogel
Patrik, I think you have a open review for this file. Once this is merged, can you handle the rename? Yes, I will do this. New Gerrit change created: https://git.eclipse.org/r/81276 Gerrit change https://git.eclipse.org/r/81276 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=4e0c97140036a77b5ee2f0fa683a66a73b1178a7 |