diff options
| author | Christopher Pulte | 2016-11-28 15:22:25 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2016-11-28 15:22:25 +0000 |
| commit | 45bd517a0c7a7b0a2d51bc9bae575218bfe54534 (patch) | |
| tree | 8352af979c6aa129db4a73cba177fa6ae6c259f6 /etc | |
| parent | cf7478cf2ab1251902b0d78322d8588009707c21 (diff) | |
make sail produce prompt and state version of shallow embedding files at the same time with the types both have in common factored out into separate file, rename one mips shallow embedding _extras file as required by this
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions