Changeset 1639 for trunk/misc
- Timestamp:
- 10/24/04 08:54:06 (4 years ago)
- Files:
-
- 1 modified
-
trunk/misc/cplgtdirs.sh (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/misc/cplgtdirs.sh
r1602 r1639 23 23 cp -RL $LOGTALKHOME/library $HOME/logtalk/ 24 24 cp -RL $LOGTALKHOME/xml $HOME/logtalk/ 25 chmod -R u+w $HOME/logtalk 25 26 echo "Finished copying Logtalk directories." 26 27 echo
