diff options
author | Andrew Waterman <aswaterman@gmail.com> | 2019-03-31 17:07:47 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-31 17:07:47 -0700 |
commit | 2710fe575e7e6a4e2418224f8d254d5ca31f6c0e (patch) | |
tree | 393bd34fb71de8df7ba598e9fab5094d14705882 /VERSION | |
parent | 489f1f89881ec5540c4268f3e845f8820b837643 (diff) | |
parent | 1def9a46371afd20f1d357294e5823daae61400e (diff) | |
download | spike-2710fe575e7e6a4e2418224f8d254d5ca31f6c0e.zip spike-2710fe575e7e6a4e2418224f8d254d5ca31f6c0e.tar.gz spike-2710fe575e7e6a4e2418224f8d254d5ca31f6c0e.tar.bz2 |
Merge pull request #291 from riscv/do-versioningv1.0.0
Version 1.0.0
Diffstat (limited to 'VERSION')
-rw-r--r-- | VERSION | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -0,0 +1 @@ +#define SPIKE_VERSION "1.0.0" |