diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-14 15:43:40 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-14 15:43:40 -0700 |
| commit | c8f24efe0511fd5129753ad288cdc16c354f4d1a (patch) | |
| tree | 89252da50579eb21e832491ffc8cea240336f188 /Build | |
| parent | 91826b66ee694463fcbb0005cfa23f746f8ebb82 (diff) | |
Dafny emacs mode: changed a menu name (Does anyone ever use this menu anyhow?)
Diffstat (limited to 'Build')
0 files changed, 0 insertions, 0 deletions