takasek 4/24/2020 2:26 PM

PRのdiffからwhitespaceを消す方法あるいはURLパラメータに w=1 をつける