pipe-game

git clone git://bebou.netlib.re/pipe-game
Log | Files | Refs | README |

commit 8e06e8fc00dd9bfcaadd1a18d7626530f75ab945
parent 74fe93d4134de4493337c954dc1e02145338781e
Auteurice: Arthur Pons <arthur.pons@unistra.fr>
Date:   Wed, 22 Jan 2025 17:24:17 +0100

On retire append

Pour le moment on va partir du principe que les arguments ne peuvent pas
être des noms de cartes (et c'est impossible d'en créer en l'état de
toute façon)

Diffstat:
D
cards/filters/append
 | 
2
--

1 file changed, 0 insertions(+), 2 deletions(-)
diff --git a/cards/filters/append b/cards/filters/append
@@ -1,2 +0,0 @@
-cat
-sed -n '2,$ p' $1