Labels Milestones

New Issue

Add README #1

Closed

opened 3 years ago by BachoSeven · 0 comments

BachoSeven commented 3 years ago

Owner

Che spieghi:

• quali script ci sono e che cosa fanno
• come eseguire gli script in vari SO (ad esempio come aggiungerli al $PATH)
• come contribuire (visto che avrà plausibilmente una audience ampia)

Che spieghi: - [x] quali script ci sono e che cosa fanno - [ ] come eseguire gli script in vari SO (ad esempio come aggiungerli al $PATH) - [ ] come contribuire (visto che avrà plausibilmente una audience ampia)

BachoSeven closed this issue 2 years ago

Sign in to join this conversation.

No Branch/Tag Specified

Branches Tags

main

removeproofs

Labels

Apply labels

Clear labels

No items

No Label

Milestone

Set milestone

Clear milestone

No items

No Milestone

Projects

Set Project

Clear projects

No project

Assignees

Assign users

Clear assignees

No Assignees

1 Participants

Notifications

Subscribe

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: phc/dm-scripts#1

Write Preview

Loading…

Cancel

Save

There is no content yet.