diff options
| author | Robert Norton | 2018-07-10 14:54:27 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-07-10 14:54:27 +0100 |
| commit | f6a49e32fc943444a5a38088abe9ff6a5cabed75 (patch) | |
| tree | 3f23037efa59eb5ed3c422dbd5b5b7c32785a83b /src/sail.ml | |
| parent | 6d159446ce0cddae7184cb64d58657557c1d7b25 (diff) | |
remove obsolete files from language directory.
Diffstat (limited to 'src/sail.ml')
0 files changed, 0 insertions, 0 deletions