X-Git-Url: http://www.entropy.ch/git/LeanCalc.git/blobdiff_plain/f5fbaceee4c5c117ef600df1362fa90333ed8bc9..a40810ee12af338eb59a3e9d3a180013c951e1fb:/English.lproj/MyDocument.nib/keyedobjects.nib

diff --git a/English.lproj/MyDocument.nib/keyedobjects.nib b/English.lproj/MyDocument.nib/keyedobjects.nib
index 5240545..c4fb089 100644
Binary files a/English.lproj/MyDocument.nib/keyedobjects.nib and b/English.lproj/MyDocument.nib/keyedobjects.nib differ