diff options
| author | Enrico Tassi | 2020-11-27 17:40:10 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-12-04 09:43:41 +0100 |
| commit | 54abd3dbf6668a420bf25ce20b8db8184fa58afb (patch) | |
| tree | 742b1dc37e98fe33683406d713e6a905ec4fd7d5 /dev/doc/debugging.md | |
| parent | f733414e59afb37cad41c65b11bc4c817bd137f9 (diff) | |
[rm] update git commands to push tags
Diffstat (limited to 'dev/doc/debugging.md')
0 files changed, 0 insertions, 0 deletions