comparison etc/TUTORIAL.sk @ 37918:6beac97d064e

(Fload): Remove unused label.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 28 May 2001 12:05:08 +0000
parents 20cdea777c49
children ebcceabda1b5
comparison
equal deleted inserted replaced
37917:5bc9314b5f0a 37918:6beac97d064e