diff options
| author | Peter Sewell | 2017-02-05 11:27:49 +0000 |
|---|---|---|
| committer | Peter Sewell | 2017-02-05 11:27:49 +0000 |
| commit | bd384860e2778fe40e10aaf08cdea7d42dae6287 (patch) | |
| tree | f1c88810d0acd8d6360a8b74d21aed689845884c /manual.pdf | |
| parent | 081d3ac6a786fdc3df515de58af2ef25a25a5b58 (diff) | |
| parent | 0f688281254997cb4ca3a6e82275c3751c43fe2c (diff) | |
Merge branch 'master' of bitbucket.org:Peter_Sewell/sail
Conflicts:
language/manual.pdf
Diffstat (limited to 'manual.pdf')
| l--------- | manual.pdf | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/manual.pdf b/manual.pdf deleted file mode 120000 index ed8af31e..00000000 --- a/manual.pdf +++ /dev/null @@ -1 +0,0 @@ -language/manual.pdf
\ No newline at end of file |