Do "NOTIFY scores" when updating short titles.
[ccbs] / html / do-update-shorttitles.pl
2005-04-23 Steinar H. GundersonDo "NOTIFY scores" when updating short titles.
2005-04-23 Steinar H. GundersonAdd backend for updating short titles.