Rename from secop to frappy

debian/ is still missing, will follow in next commit.

Fixes: #4626

Change-Id: Ia87c28c1c75b8402eedbfca47f888585a7881f44
This commit is contained in:
Alexander Zaft
2022-11-08 08:09:41 +01:00
committed by Enrico Faulhaber
parent c1eb764b09
commit 7f166a5b8c
168 changed files with 558 additions and 554 deletions

View File

@ -7,10 +7,10 @@ Frappy Programming Guide
introduction
tutorial
reference
secop_psi
secop_demo
secop_mlz
secop_ess
frappy_psi
frappy_demo
frappy_mlz
frappy_ess
* :ref:`genindex`