David Pursehouse fe52915469 Allow separate REST API and servlet documentation sections for plugins ...

If a plugin provides documentation files whose names are prefixed
with "servlet-" or "rest-api-", the documentation will be listed under
separate "Servlet" and "REST API" sections, respectively, on the index
page, in the same way that files prefixed with "cmd-" are currently
listed under a separate "Commands" section.

Change-Id: I94326d7cba58b33c80eba61850d4221064404454

2013-08-14 21:06:09 +09:00

..

.settings

Remove timestamp from all org.eclipse.core.resources.prefs files.

2012-07-04 14:06:09 +02:00

src

Allow separate REST API and servlet documentation sections for plugins

2013-08-14 21:06:09 +09:00

.gitignore

Add Intellij IDEA files to ignore list

2012-05-03 13:17:43 -07:00

BUCK

Make source JARs for {extension,plugin}-api targets

2013-05-30 14:27:59 -07:00