#! /bin/sed -f
# Last edited on 2008-05-25 01:06:54 by stolfi

s/dg_grid/mdg_grid/g

s/dg_pulse/udg_pulse/g
s/dg_PK/udg_PK/g
s/dg_cont/udg_cont/g
s/dg_degree/udg_degree/g
s/dg_grid_size/udg_grid_size/g
s/dg_grid_pos/udg_grid_pos/g