Remove forgotten $rcs_id variable after the svn → git conversion
[gpstools.git] / Tools / 
treebfe106ea3d47a6070f527874d789bce50e7fe794
drwxr-xr-x   ..
drwxr-xr-x - dtd
drwxr-xr-x - xsd