diff options
| author | Bruce Momjian <bruce@momjian.us> | 2005-10-03 13:52:28 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2005-10-03 13:52:28 +0000 |
| commit | a87174dca11aa84f485f4262766e53c5707d1b06 (patch) | |
| tree | 7d087a9ad3cb7848ee236d1a746ba7bdf399f96a /doc/src/FAQ/FAQ_DEV.html | |
| parent | 1624d6d4d26e125787cb4115130f60291fb78b1e (diff) | |
Fix font of sequence header.
Diffstat (limited to 'doc/src/FAQ/FAQ_DEV.html')
0 files changed, 0 insertions, 0 deletions