|
|
2b7b6fdf1a
|
Improve the time measurement
|
2021-04-15 08:41:37 +02:00 |
|
|
|
980a169bfc
|
Improve the scripts
|
2021-04-14 16:18:23 +02:00 |
|
|
|
e3c9ab459e
|
Improve fetch-repos.ps1 and pull-repos.ps1
|
2021-04-14 16:08:10 +02:00 |
|
|
|
154a753707
|
Omit the ./ in the syntax metadata
|
2021-04-07 15:17:49 +02:00 |
|
|
|
009949ee76
|
Change to #!/usr/bin/pwsh
|
2021-04-07 11:53:57 +02:00 |
|
|
|
6efc805a7d
|
Replace tabs by spaces in meta header
|
2021-03-22 20:10:18 +01:00 |
|
|
|
2a2320603c
|
Improve fetch-repos.ps1 and pull-repos.ps1
|
2021-03-20 14:36:45 +01:00 |
|
|
|
60351adce2
|
Rename to pull-repos.ps1
|
2021-03-19 17:43:28 +01:00 |
|
