diff options
author | Jonah Graham | 2019-08-17 19:47:27 +0000 |
---|---|---|
committer | Jonah Graham | 2019-08-17 23:47:12 +0000 |
commit | 342d0c7b892cd216650a0b17f36c8539f519705a (patch) | |
tree | 1b5c656dcb569f9148f966193ac0b98cb41fdf82 /doc/org.eclipse.cdt.doc.user/pom.xml | |
parent | 810f329774b386cb0df5f1f454db8f69b9bb21ac (diff) | |
download | org.eclipse.cdt-342d0c7b892cd216650a0b17f36c8539f519705a.tar.gz org.eclipse.cdt-342d0c7b892cd216650a0b17f36c8539f519705a.tar.xz org.eclipse.cdt-342d0c7b892cd216650a0b17f36c8539f519705a.zip |
Bug 549567: Add example of what checkmark overlay looks like to help
Change-Id: I1bb77e6085a7d1097f457ba5207f1ae791a9b452
Diffstat (limited to 'doc/org.eclipse.cdt.doc.user/pom.xml')
-rw-r--r-- | doc/org.eclipse.cdt.doc.user/pom.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/org.eclipse.cdt.doc.user/pom.xml b/doc/org.eclipse.cdt.doc.user/pom.xml index f62143f06e1..55aefd59e1e 100644 --- a/doc/org.eclipse.cdt.doc.user/pom.xml +++ b/doc/org.eclipse.cdt.doc.user/pom.xml @@ -10,7 +10,7 @@ <relativePath>../../pom.xml</relativePath> </parent> - <version>5.4.100-SNAPSHOT</version> + <version>5.4.200-SNAPSHOT</version> <artifactId>org.eclipse.cdt.doc.user</artifactId> <packaging>eclipse-plugin</packaging> |