oar-team / oar

OAR is a versatile resource and task manager (also called a batch scheduler) for clusters and other computing infrastructures.
http://oar.imag.fr/
GNU General Public License v2.0
44 stars 23 forks source link

add MariaDB in docs #209

Open robertsilen opened 1 month ago

robertsilen commented 1 month ago

Suggesting to add MariaDB as originally mentioned in https://github.com/oar-team/oar/issues/208 - hope ok?