diff options
| author |   Christopher Lott (cl778h) <clott@research.att.com> | 2017-10-23 10:47:36 -0400 |
|---|---|---|
| committer | Christopher Lott (cl778h) <clott@research.att.com> | 2017-10-23 10:48:26 -0400 |
| commit | ad84865eb5b660486b30c53b7eb7c6d97d9ba00e (patch) | |
| tree | 8de19ae8afe0121c3e9078cef08da5e4f24c69a2 /.idea/misc.xml | |
| parent | b082bdf0fedc890f5687a3c4dc28bb37e784c9fc (diff) | |
Add "dav" protocol provider for site plugin
To repair the failing "site" jobs that publish Javadoc
Issue: PORTAL-89
Change-Id: I6cece20360050656f33645fc01fce7bd7c2b51b1
Signed-off-by: Christopher Lott (cl778h) <clott@research.att.com>
Diffstat (limited to '.idea/misc.xml')
0 files changed, 0 insertions, 0 deletions