index
:
server
main
Unnamed repository; edit this file 'description' to name the repository.
External SSH Git service user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
aux
/
workflow
(
unfollow
)
Commit message (
Collapse
)
Author
Files
Lines
2023-03-10
rm -rf aux/ README.md
EuAndreh
6
-312
/
+0
2022-12-08
aux/: Embed files in repository
EuAndreh
6
-0
/
+312
2022-11-14
rm -rf aux/
EuAndreh
12
-691
/
+0
2022-03-06
aux/: Update
EuAndreh
9
-102
/
+134
2021-09-03
aux/: Update
EuAndreh
8
-32
/
+65
2021-07-25
aux/: Update
EuAndreh
10
-111
/
+366
2021-06-11
aux/: Update files
EuAndreh
13
-133
/
+221
2021-03-23
aux/workflow/public.sh: Mark as executable
EuAndreh
1
-0
/
+0
2021-03-07
TODOs.sh: Remove unused SED_REGEX variable
EuAndreh
1
-2
/
+0
2021-03-07
TODOs.sh: Use sed to remove dependency on gettext
EuAndreh
2
-12
/
+16
2021-03-07
assert-todos.sh: Remove reference to inexistant docbook-xsl/ directory
EuAndreh
1
-1
/
+1
2021-03-06
README.sh: Remove suffix from Git repo link
EuAndreh
1
-1
/
+1
2021-03-06
Update files under aux/
EuAndreh
1
-0
/
+5
2021-03-01
Update files under aux/
EuAndreh
4
-6
/
+37
2021-02-25
Update aux/workflow/dist.sh
EuAndreh
1
-5
/
+11
2021-02-23
Update aux/workflow/
EuAndreh
4
-2
/
+64
2021-02-20
Update aux/workflow/: support tags in TODOs.md
EuAndreh
2
-4
/
+17
2021-02-19
Add aux/ci/report.sh
EuAndreh
1
-1
/
+1
2021-02-08
Update aux/ files
EuAndreh
2
-2
/
+2
2021-01-30
aux/: Update copied files
EuAndreh
1
-1
/
+2
2021-01-27
mv build-aux/ aux/
EuAndreh
5
-0
/
+163