search

UCSD-PL / proverbot9001

GNU General Public License v3.0
39 stars 17 forks source link

Master dockerfile #125

Closed sahilx13 closed 5 months ago

sahilx13 commented 5 months ago

Adds dockerfile to master branch