From: Ben Pfaff Date: Thu, 4 Aug 2022 23:58:53 +0000 (-0700) Subject: render: Coding style fix. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dc341c8d3ebc6ac700c7d92eb289bc7a0f4431c1;hp=dc341c8d3ebc6ac700c7d92eb289bc7a0f4431c1;p=pspp render: Coding style fix. ---