diff --git a/rtl/unix/oldlinux.pp b/rtl/unix/oldlinux.pp new file mode 100644 index 0000000000..2d53fe77f4 --- /dev/null +++ b/rtl/unix/oldlinux.pp @@ -0,0 +1 @@ +{$i linuxold.inc}