From 1fef6baa5eeaad1bffd965d8074a8a3022da0dda Mon Sep 17 00:00:00 2001 From: Wayne Cuddy Date: Fri, 14 Oct 2022 04:45:13 +0100 Subject: graphics/draw.io: Removed (renamed drawio). Signed-off-by: Willy Sudiarto Raharjo --- graphics/draw.io/draw.io.info | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 graphics/draw.io/draw.io.info (limited to 'graphics/draw.io/draw.io.info') diff --git a/graphics/draw.io/draw.io.info b/graphics/draw.io/draw.io.info deleted file mode 100644 index a81d7980c837b..0000000000000 --- a/graphics/draw.io/draw.io.info +++ /dev/null @@ -1,10 +0,0 @@ -PRGNAM="draw.io" -VERSION="12.4.2" -HOMEPAGE="https://www.draw.io" -DOWNLOAD="UNSUPPORTED" -MD5SUM="" -DOWNLOAD_x86_64="https://github.com/jgraph/drawio-desktop/releases/download/v12.4.2/draw.io-x86_64-12.4.2.rpm" -MD5SUM_x86_64="5fc8ed1133e38e4179ee2ad3442e9659" -REQUIRES="" -MAINTAINER="Wayne Cuddy" -EMAIL="wcuddy@gmail.com" -- cgit v1.2.3