-
Notifications
You must be signed in to change notification settings - Fork 10
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
one could also instead use git revision thing, but then it won't be nice numbers. manually adding the header with the right numbers is also an option, but then that number could be faked.
- Loading branch information
feos
committed
Apr 10, 2022
1 parent
e322184
commit 9cff5c2
Showing
4 changed files
with
0 additions
and
0 deletions.