diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-16 16:28:20 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-16 16:28:20 +0100 |
| commit | 798c9f3635d14eff636bc3c89e3c1015e90244d9 (patch) | |
| tree | 73969ef907e514b9453064f46ab661d5f7511b84 /project/build.properties | |
| parent | 99b932a358e0fcf5b463c3a98fb12fdfa393152c (diff) | |
| download | RSAComb-798c9f3635d14eff636bc3c89e3c1015e90244d9.tar.gz RSAComb-798c9f3635d14eff636bc3c89e3c1015e90244d9.zip | |
Add build.properties file
Diffstat (limited to 'project/build.properties')
| -rw-r--r-- | project/build.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/project/build.properties b/project/build.properties new file mode 100644 index 0000000..0837f7a --- /dev/null +++ b/project/build.properties | |||
| @@ -0,0 +1 @@ | |||
| sbt.version=1.3.13 | |||