commit | f7ac53df5f8608d293d7e227c83dcf253d9fde88 | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan.herrmann@berlin.de> | Sun Jul 25 14:14:04 2021 +0200 |
committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Sun Jul 25 08:33:32 2021 -0400 |
tree | f0e2b88e45226f1414ab5e292e53ea271237013c | |
parent | 2361899e9914373596b3b6011856cf778d55fc7c [diff] |
Bug 574603 - [null][external] offer more IDE options for specifying external annotation locations user documentation Change-Id: I1160c0160460068b462bb5c35eec3f1a0b7b6f01 Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.common/+/183349 Tested-by: Stephan Herrmann <stephan.herrmann@berlin.de> Reviewed-by: Stephan Herrmann <stephan.herrmann@berlin.de>