| commit | 1b387a339dae03e94fa8c6d12f193384e10f7296 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Jun 09 22:58:21 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Jun 09 22:58:21 2011 +0000 |
| tree | 6f04001a1dacf774b88a75d563fbfd0ed9e35141 | |
| parent | 4a4762785af6365a6694f201dfb524550ed3d8bd [diff] [blame] |
add legal files
diff --git a/contrib/org.eclipse.objectteams.jdt.nullity/build.properties b/contrib/org.eclipse.objectteams.jdt.nullity/build.properties index e9863e2..7e12a2c 100644 --- a/contrib/org.eclipse.objectteams.jdt.nullity/build.properties +++ b/contrib/org.eclipse.objectteams.jdt.nullity/build.properties
@@ -2,4 +2,6 @@ output.. = bin/ bin.includes = META-INF/,\ .,\ - plugin.xml + plugin.xml,\ + about.ini,\ + about.html