Revision 02e53b972750e0a5d8200b910579784c06840e09 authored by Mohammad Akhlaghi on 04 January 2021, 02:58:05 UTC, committed by Mohammad Akhlaghi on 04 January 2021, 02:58:05 UTC
Until now, the description in 'README.md' to build the Dockerfile in 'README.md' had one item per line, thoroughly describing the reason behind that line. But in many cases, the user is already familiar with Docker (or has already read through the items) and just wants to have the Dockerfile ready fast. In these cases, all those extra explanations are annoying. With this commit, an item '0' has been added at the start of the item list for summary. It only contains the necessary Dockerfile contents with no extra explanation.
1 parent 31f4ea3
| File | Mode | Size |
|---|---|---|
| reproduce | ||
| tex | ||
| .dir-locals.el | -rw-r--r-- | 1.3 KB |
| .file-metadata | -rw-r--r-- | 9.0 KB |
| .gitignore | -rw-r--r-- | 994 bytes |
| COPYING | -rw-r--r-- | 34.3 KB |
| README-hacking.md | -rw-r--r-- | 90.9 KB |
| README.md | -rw-r--r-- | 20.1 KB |
| paper.tex | -rw-r--r-- | 14.2 KB |
| project | -rwxr-xr-x | 20.7 KB |
Computing file changes ...
