diff options
author | leino <unknown> | 2016-04-01 15:41:57 -0700 |
---|---|---|
committer | leino <unknown> | 2016-04-01 15:41:57 -0700 |
commit | df5c5f547990c1f80ab7594a1f9287ee03a61754 (patch) | |
tree | 8b48c14c0108ccf02bf8ea2fa1c97c29268094f5 /Util/Emacs/dafny-mode.el | |
parent | 3915e19054afe9b35e1222a12d252e85fba93f2e (diff) |
New version number 1.9.7.30401, for binary release on Codeplex and Rise4fun.
Changed copyright date to include 2016.
Diffstat (limited to 'Util/Emacs/dafny-mode.el')
0 files changed, 0 insertions, 0 deletions