X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fxalloc-die;h=b9f875c48649097f09f1516b4fba6277c0184f7f;hb=161a4b5fc16fbe0739fb2d4c60098cb9173133d3;hp=23ba5a69a011154128238847c992c379bf4acbbb;hpb=abe574726d366cedfb5a58484fd3a102b587323c;p=pspp diff --git a/modules/xalloc-die b/modules/xalloc-die index 23ba5a69a0..b9f875c486 100644 --- a/modules/xalloc-die +++ b/modules/xalloc-die @@ -23,4 +23,3 @@ GPL Maintainer: all -