Initial commit

This commit is contained in:
jasder 2021-01-27 10:00:21 +08:00
commit 4c642f9f95
3 changed files with 31 additions and 0 deletions

4
.gitignore vendored Normal file
View File

@ -0,0 +1,4 @@
# ---> Agda
*.agdai
MAlonzo/**

7
LICENSE Normal file
View File

@ -0,0 +1,7 @@
This software code is made available "AS IS" without warranties of any kind.
You may copy, display, modify and redistribute the software code either by
itself or as incorporated into your code; provided that you do not remove
any proprietary notices. Your use of this software code is at your own risk
and you waive any claim against Amazon Digital Services, Inc. or its affiliates
with respect to your use of this software code. (c) 2006 Amazon Digital Services,
Inc. or its affiliates.

20
README.md Normal file
View File

@ -0,0 +1,20 @@
#### 从命令行创建一个新的仓库
```bash
touch README.md
git init
git add README.md
git commit -m "first commit"
git remote add origin http://testgitea2.trustie.net/firstTeam-caishi-n/oP.git
git push -u origin master
```
#### 从命令行推送已经创建的仓库
```bash
git remote add origin http://testgitea2.trustie.net/firstTeam-caishi-n/oP.git
git push -u origin master
```