diff scripts/copy-user.py @ 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 64b05e24dbd8
children 2a6c3eb4e059
line wrap: on
line diff

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