chiark / gitweb /
toplevel-find: allow ////-commented toplevel module directives