diff options
| author | Alasdair | 2020-07-31 13:30:53 +0100 |
|---|---|---|
| committer | Alasdair | 2020-07-31 13:30:53 +0100 |
| commit | dd76fdfd819bb1a5423cea369df0e7f2ae449b62 (patch) | |
| tree | 88d8d69e39b724902b280beaa8ce874e444f5dbc /old/x86/gen/sail_trans_out.hgen | |
| parent | 71db59830383b7db5316b5c99ccebe776fc837dc (diff) | |
Remove old specs that have more up to date version
Move outdated things into old subdirectory
Diffstat (limited to 'old/x86/gen/sail_trans_out.hgen')
| -rw-r--r-- | old/x86/gen/sail_trans_out.hgen | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/old/x86/gen/sail_trans_out.hgen b/old/x86/gen/sail_trans_out.hgen new file mode 100644 index 00000000..948db8fa --- /dev/null +++ b/old/x86/gen/sail_trans_out.hgen @@ -0,0 +1 @@ +(* *) |