Update proxy.dtl with new proxy_reverse_target type
[hcoop/domtool2.git] / src / config.sml
1 structure Config :> CONFIG = struct
2
3 open ConfigDefault
4
5 end