Skip to content

Commit

Permalink
add readme
Browse files Browse the repository at this point in the history
  • Loading branch information
permui committed Oct 3, 2022
1 parent 07b37fa commit 7057997
Showing 1 changed file with 18 additions and 0 deletions.
18 changes: 18 additions & 0 deletions Readme.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
# PPL Lab Packer

This program packs and encrypts your codes for submission.

More specifically, when you run `pack` in directory `proj`,
it will only pack the following files and directories, if they exist.

* files
* `proj/dune-project`
* `proj/*.opam`
* directories
* `proj/lib`
* `proj/bin`
* `proj/test`

Such restrictions make uploads slim and without redundant files.

It produces a PGP message `stu-code.pgp.txt`.

0 comments on commit 7057997

Please sign in to comment.