1
0
mirror of https://github.com/postgres/postgres.git synced 2025-10-25 13:17:41 +03:00

Make use of <email> tag for marking up email addresses.

This commit is contained in:
Peter Eisentraut
2000-12-22 21:51:58 +00:00
parent 0db1a951d5
commit 7558da669f
22 changed files with 70 additions and 86 deletions

View File

@@ -14,7 +14,7 @@
<Para>
<Note>
<Para>
Contributed by <ULink url="mailto:geek+@cmu.edu">Brian Gallew</ULink>
Contributed by Brian Gallew (<email>geek+@cmu.edu</email>)
</Para>
</Note>
</para>