Remove dead name from repo

This commit is contained in:
nichkara
2025-11-13 03:49:10 +01:00
parent 5afb974b78
commit 6024d4e803
8 changed files with 10 additions and 12 deletions

View File

@@ -38,7 +38,7 @@ endglobal
snippet helloworld "Hello world example to test features" b
-- `!p snip.rv = fn`
-- Created on: `date`
-- Author(s): Yannick Reiss <yannick.reiss@nickr.eu>
-- Author(s): Nina Chloé Kassandra Reiß <nina.reiss@nickr.eu>
-- Content: Hello world example
with Ada.Text_IO; use Ada.Text_IO;
@@ -53,9 +53,7 @@ end $1;$0
endsnippet
snippet docstring "Document String with most important information" b
-- `!p snip.rv = fn`
-- Created on: `date`
-- Author(s): ${1:Yannick Reiß}
-- Author(s): ${1:Nina Chloe Kassandra Reiss <nina.reiss@nickr.eu>}
-- Description: ${2:`!p snip.rv = fn.split('.')[0]`}
$0
endsnippet