12 Commits

Author	SHA1	Message	Date
Markus Fleschutz	bea6e65d49	Improve the scripts	2021-04-17 11:29:32 +02:00
Markus Fleschutz	9e1c96d46f	Add unicode character	2021-04-17 11:23:41 +02:00
Markus Fleschutz	357ae2cea9	Add unicode characters	2021-04-16 18:58:19 +02:00
Markus Fleschutz	1542765c41	Improve the scripts	2021-04-15 16:54:59 +02:00
Markus Fleschutz	2b7b6fdf1a	Improve the time measurement	2021-04-15 08:41:37 +02:00
Markus Fleschutz	980a169bfc	Improve the scripts	2021-04-14 16:18:23 +02:00
Markus Fleschutz	e3c9ab459e	Improve fetch-repos.ps1 and pull-repos.ps1	2021-04-14 16:08:10 +02:00
Markus Fleschutz	154a753707	Omit the ./ in the syntax metadata	2021-04-07 15:17:49 +02:00
Markus Fleschutz	009949ee76	Change to #!/usr/bin/pwsh	2021-04-07 11:53:57 +02:00
Markus Fleschutz	6efc805a7d	Replace tabs by spaces in meta header	2021-03-22 20:10:18 +01:00
Markus Fleschutz	2a2320603c	Improve fetch-repos.ps1 and pull-repos.ps1	2021-03-20 14:36:45 +01:00
Markus Fleschutz	60351adce2	Rename to pull-repos.ps1	2021-03-19 17:43:28 +01:00