profiles/repo_name
author gabriel
Wed, 10 Feb 2021 23:18:32 +0000
changeset 18 86c4969766ea
parent 1 efd4dcceb77b
permissions -rw-r--r--
Removed gdb[client] dependency, as client doesn't seem to exist any more
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
efd4dcceb77b Update repo name
gabriel
parents: 0
diff changeset
     1
gg-overlay