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