From: John Darrington Date: Sun, 5 Jul 2020 06:12:41 +0000 (+0200) Subject: get_language: New function X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bea279dad74479d86671f3acdc8c945d3ce5f2be;hp=bea279dad74479d86671f3acdc8c945d3ce5f2be;p=pspp get_language: New function ---