diff etc/setup_as_dml.sh @ 59:8ff831293542

Removed persistent history stuff (now in rcutils); adjust proxy handling
author samer
date Wed, 20 May 2015 16:51:52 +0100
parents 386e9ef272b8
children 3b9d5b99895e
line wrap: on
line diff