diff options
| author | David Quintana <gigaherz@gmail.com> | 2018-12-12 05:04:23 +0100 |
|---|---|---|
| committer | LexManos <LexManos@gmail.com> | 2018-12-11 20:04:23 -0800 |
| commit | 05761cb243159bc7dcf3cd39d40090993913e804 (patch) | |
| tree | 58ec30b70d538b1b3ea0212a55f19ccc13f52b6d /eclipse/.metadata/.plugins/org.eclipse.core.runtime/.settings | |
| parent | fb1b05ea040c9141707564da89dd8b0314d81054 (diff) | |
Create a userdev-specific main, and include it as an injected file in the userdev jar. (#5231)
Diffstat (limited to 'eclipse/.metadata/.plugins/org.eclipse.core.runtime/.settings')
0 files changed, 0 insertions, 0 deletions