| delorie.com/archives/browse.cgi | search |
| 17:17:43 | [geda-user] Change font size for a lot of things together (Chris Green) |
| 17:43:28 | Re: [geda-user] Change font size for a lot of things together (DJ Delorie) |
| 23:17:19 | Re: [geda-user] Change font size for a lot of things together (gedau@igor2.repo.hu) |
| webmaster | delorie software privacy |
| Copyright © 2019 by DJ Delorie | Updated Jul 2019 |