view m-toolbox/html_help/help/tmpcmd @ 18:947e2ff4b1b9 database-connection-manager

Update plist.FROM_REPOSITORY_PLIST and plist.TO_REPOSITORY_PLIST
author Daniele Nicolodi <nicolodi@science.unitn.it>
date Mon, 05 Dec 2011 16:20:06 +0100
parents f0afece42f48
children
line wrap: on
line source

#!/bin/bash
export PATH=$PATH:${HOME}/bin
cat tail.html >> helptoc.html