diff doc/html_extra/spec.html @ 7445:abc2ec25b3d1

add target to push to sourceforge dev_docs area. reqires ssh-agent with suitable keys.
author John Rouillard <rouilj@ieee.org>
date Wed, 31 May 2023 23:11:17 -0400
parents 7083d4bd89d6
children a03f8f681992
line wrap: on
line diff

Roundup Issue Tracker: http://roundup-tracker.org/