82bc6a094e85014f1891ef9407496f44af8fe442

The first line of this file holds the git revision number of the
last merge done from the master library sources.

You are viewing proxied material from ftp.icm.edu.pl. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.