unstick r1873801

Revision 1873801

Date:
2020/02/08 17:22:15
Author:
rhillegas
Revision Log:
DERBY-7066: Port 1873800 from docs trunk to 10.15 docs branch.
Files:

Legend:

 
Added
 
Removed
 
Modified
  • db/derby/docs/branches/10.15

     
  • db/derby/docs/branches/10.15/docs.properties

     
    12 12 temp.source=${basedir}/temp_source
    13 13 pipeline.artifacts=${basedir}
    14 14 pipeline.devguide=${pipeline.artifacts}/devguide
    15 copyright.year=2019
    15 copyright.year=2020
    16 16 release.id.short=10.15
    17 17 minimum.jdk=9
    18 18 args.csspath=