removed redundant code for selecting font color for player name

[rocksndiamonds.git] / docs / elements / df_mirror.txt

This mirror can manually be rotated to reflect the laser beam into different
directions.