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 /language/manual.pdf | |
| parent | 081d3ac6a786fdc3df515de58af2ef25a25a5b58 (diff) | |
| parent | 0f688281254997cb4ca3a6e82275c3751c43fe2c (diff) | |
Merge branch 'master' of bitbucket.org:Peter_Sewell/sail
Conflicts:
language/manual.pdf
Diffstat (limited to 'language/manual.pdf')
| -rw-r--r-- | language/manual.pdf | bin | 391550 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/language/manual.pdf b/language/manual.pdf Binary files differdeleted file mode 100644 index d848b8da..00000000 --- a/language/manual.pdf +++ /dev/null |