Re: [patch] [994] \nocite{*}

[Jürgen Spitzmüller]

Bernhard Reiter wrote:
> nocite_star.patch

Looks good! However, you should introduce a new file format for this feature, 
since the nocite thing is already in use for some time.

Jürgen