diff options
| author | Peter Sewell | 2018-02-23 15:57:23 +0000 |
|---|---|---|
| committer | Peter Sewell | 2018-02-23 15:57:23 +0000 |
| commit | 4ca525a57602883109bf927d97ffbb782e389ae3 (patch) | |
| tree | 4c23b36ac2d8c8f1932324f60602c9ca0a95bfef | |
| parent | 218fb928767094cf11f801495fc29136016e3ed1 (diff) | |
test commit
| -rw-r--r-- | README | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ Sail README -[Note that this describes the original Sail language, on the github master branch. The current development version, on the github sail2 branch, is somewhat different; documentation for that is in progress] +[Note that this describes the original Sail language, on the github master branch. The current development version, on the github sail2 branch, is somewhat different; documentation for that is in progress] Kathryn E. Gray and Peter Sewell |