Skip to content

Commit

Permalink
Merge pull request #60 from SamChou19815/restore
Browse files Browse the repository at this point in the history
Restore accidentally deleted build.properties
  • Loading branch information
andrewcmyers authored Jan 7, 2022
2 parents 92b5963 + 8b8021f commit fd24395
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions build.properties
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
version.major=2
version.minor=8
version.patch=0
bin.includes=META-INF/,META-INF/MANIFEST.MF,lib/java_cup.jar,lib/jflex.jar
jars.compile.order=.
source..=src/
output..=classes/

0 comments on commit fd24395

Please sign in to comment.