Delete proglangs.js