diff options
author | Haoran S. Diao <0@hairydiode.xyz> | 2019-02-11 18:11:34 -0500 |
---|---|---|
committer | Haoran S. Diao <0@hairydiode.xyz> | 2019-02-11 18:11:34 -0500 |
commit | e67907e91de880d6a4bdcdf88d69419940d1db1c (patch) | |
tree | 27e9c911e8946bef443a87e5c014a5af738fa9e9 | |
parent | 27f8aa2d5ba12f38637fca6b415267f2a942d420 (diff) |
Since the repo is bare on the server, this description file does nothing
-rw-r--r-- | description | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/description b/description deleted file mode 100644 index 60c5078..0000000 --- a/description +++ /dev/null @@ -1 +0,0 @@ -Two scripts for creating a remote repo on my server based on a local one |