From 9b801e948796fd3e6dbc1a72bd207428bf968911 Mon Sep 17 00:00:00 2001
From: Enrico Faulhaber <enrico.faulhaber@frm2.tum.de>
Date: Mon, 20 Feb 2023 17:15:23 +0100
Subject: [PATCH] add frappy-cli to package

Change-Id: I8697f05517935470a7c867ebddd63f5d28be21c3
---
 debian/frappy-core.install | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/frappy-core.install b/debian/frappy-core.install
index 979a0a0..bf4e5a0 100644
--- a/debian/frappy-core.install
+++ b/debian/frappy-core.install
@@ -1,3 +1,4 @@
+usr/bin/frappy-cli
 usr/bin/frappy-server
 usr/lib/python3.*/dist-packages/frappy/*.py
 usr/lib/python3.*/dist-packages/frappy/lib