Follow-up Comment #73, task #14578 (project administration): I've just looked into doc/html/resize.js. It doesn't seem to include anything specific to your package. May you really claim your copyright for it?
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/task/?14578>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
