View Single Post
Old 16 August 2016, 16:37   #4
Global Moderator

DamienD's Avatar
Join Date: Aug 2005
Location: London / Sydney
Age: 41
Posts: 9,661
Originally Posted by Korodny View Post
I assume you got the English version, that one might be rare indeed. The German version is not that hard to come by IMHO.
Good point; the HOL screenshots are German...
DamienD is offline  
Page generated in 0.04752 seconds with 9 queries