📄 build.properties.sample
字号:
# -------------------------------------------------------------------
# build.properties.sample
#
# This is an example "build.properties" file, used to customize
# building Jakarta Tomcat Connectors Util for your local environment.
# Make any changes you need, and rename this file to
# "build.properties"
#
# $Id: build.properties.sample 297726 2002-08-09 20:49:44Z costin $
# -------------------------------------------------------------------
# -------------------------------------------------------------------
# CONFIGURATION OPTIONS
# -------------------------------------------------------------------
#
# -------------------------------------------------------------------
# EXTERNAL DEPENDENCIES
# -------------------------------------------------------------------
# ----- (optional) Java Secure Sockets Extension (JSSE), v1.0.2 or later -----
jsse.home=${base.path}/jsse1.0.2
jsse.lib=${jsse.home}/lib
# ----- (optional) PureTLS Extension -----
puretls.home=${base.path}/puretls-0.9b2
puretls.lib=${puretls.home}/build
puretls.jar=${puretls.lib}/puretls.jar
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -