diff src/goodjava/xml/XmlElement.java @ 1850:64b7076c635c default tip

better link_to_domain
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 22 Feb 2025 20:26:31 -0700
parents 9daae8cf4bef
children
line wrap: on
line diff