Merge updates: better name comparison.
[platal.git] / htdocs / images / wait.gif
htdocs/images/wait.gif