Remove unused HistorySize field from the settings structure
commitaf5b9b3a96e9f42089ecfbe878807b68044dbdfd
authorPeter Clifton <pcjc2@cam.ac.uk>
Thu, 11 Mar 2010 23:47:42 +0000 (11 23:47 +0000)
committerPeter Clifton <pcjc2@cam.ac.uk>
Thu, 11 Mar 2010 23:53:20 +0000 (11 23:53 +0000)
tree4708e0e756ad1dd598a75e5ce77692840118112f
parent3352f8b5a2cf99d55f360d9c319e32a3ca092553
Remove unused HistorySize field from the settings structure
src/global.h