| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | README: explain need to run autogen.sh (closes #93) |  Adam Chlipala | 2018-01-06 |
| * | README: mention that GNU Make is required | Adam Chlipala | 2017-11-18 |
| * | README extension: installation and simple invocation | Adam Chlipala | 2017-10-01 |
| * | Add build status image to README.md |  Jason Gross | 2015-12-30 |
| * | Imported to Git from Mercurial | Adam Chlipala | 2015-12-20 |
 |
index : debian-urweb | |
| Debian packaging for Ur/Web |
| summaryrefslogtreecommitdiff |