diff options
author | Giovanni Di Sirio <gdisirio@gmail.com> | 2018-05-01 09:40:11 +0000 |
---|---|---|
committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2018-05-01 09:40:11 +0000 |
commit | e30edc0e9ca5fbc15c11b0ce744099b848611624 (patch) | |
tree | f9a3794e377867d72653de91b9e63c3e96313424 /doc/rt | |
parent | de9571b3c0996e4e69e6b89e3fdbc41b36e8418c (diff) | |
download | ChibiOS-e30edc0e9ca5fbc15c11b0ce744099b848611624.tar.gz ChibiOS-e30edc0e9ca5fbc15c11b0ce744099b848611624.tar.bz2 ChibiOS-e30edc0e9ca5fbc15c11b0ce744099b848611624.zip |
EOL adjustments.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@11983 110e8d01-0319-4d1e-a829-52ad28d1bb01
Diffstat (limited to 'doc/rt')
-rw-r--r-- | doc/rt/rsync_web.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/rt/rsync_web.sh b/doc/rt/rsync_web.sh index 833be52f3..7ec87ac5c 100644 --- a/doc/rt/rsync_web.sh +++ b/doc/rt/rsync_web.sh @@ -1,2 +1,2 @@ -#!/bin/bash
-rsync -avP -e ssh --delete --exclude=.* ./html/ gdisirio,chibios@web.sourceforge.net:/home/groups/c/ch/chibios/htdocs/docs3/rt
\ No newline at end of file +#!/bin/bash +rsync -avP -e ssh --delete --exclude=.* ./html/ gdisirio,chibios@web.sourceforge.net:/home/groups/c/ch/chibios/htdocs/docs3/rt |