Remove unused chunk from standalone-profile.xsl
authorPeter Eisentraut <peter@eisentraut.org>
Sat, 30 Oct 2021 10:38:14 +0000 (12:38 +0200)
committerPeter Eisentraut <peter@eisentraut.org>
Sat, 30 Oct 2021 10:38:14 +0000 (12:38 +0200)
commitb8b62b4be28b8acd36d32d5db65162bbbcd3a754
treebdbc518f04e3292fc7c6d669ae5201f73e424e02
parent5ccceb2946d4104804f8dca67515b602f5e78cdd
Remove unused chunk from standalone-profile.xsl

unused since 1707a0d2aa6b2bcfe78f63836c769943a1a6b9e0
doc/src/sgml/standalone-profile.xsl