annotate http/ext/servlet-api-3.0.jar @ 724:4f8e30a3ffd0

add Hosting.change_domain()
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 07 Jun 2016 16:00:41 -0600
parents 1d082a0812e0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
493
1d082a0812e0 move web to http
Franklin Schmidt <fschmidt@gmail.com>
parents: 223
diff changeset
1 (binary:application/java-archive)