diff options
author | 2012-08-14 15:43:40 -0700 | |
---|---|---|
committer | 2012-08-14 15:43:40 -0700 | |
commit | c8f24efe0511fd5129753ad288cdc16c354f4d1a (patch) | |
tree | 89252da50579eb21e832491ffc8cea240336f188 /Source/GPUVerify/KernelDualiser.cs | |
parent | 91826b66ee694463fcbb0005cfa23f746f8ebb82 (diff) |
Dafny emacs mode: changed a menu name (Does anyone ever use this menu anyhow?)
Diffstat (limited to 'Source/GPUVerify/KernelDualiser.cs')
0 files changed, 0 insertions, 0 deletions