We might as well use OPEN-DEFAULT-DISPLAY here, too
darcs-hash:20030605160514-ed5a3-da771794b914534f83169958cdf8b4d7862b0835.gz
Loading
Please register or sign in to comment
darcs-hash:20030605160514-ed5a3-da771794b914534f83169958cdf8b4d7862b0835.gz