search

doubtfire-lms / doubtfire-web

Angular web application for the Doubtfire front-end
GNU Affero General Public License v3.0
45 stars 333 forks source link

feat: accept promela files #826

Closed ublefo closed 6 months ago

ublefo commented 6 months ago

Super trivial change, add the promela file extension to the list of accepted file extensions. Tested with the backend change and everything works fine.

Screenshot: image