mrtnmueller/ruleml-relfun
Public repository.
Developer Profile
mrtnmueller
Discovered public repositories for mrtnmueller in the GitHub catalog.
mrtnmueller/juser-email-on-deactivation
Joomla plugin which allows to send a custom email whenever a user is deactivated.
mrtnmueller/juser-customid
Apply a custom (or random) user id when a user is created.
mrtnmueller/elFinder
Open-source file manager for web, written in JavaScript using jQuery and jQuery UI
mrtnmueller/LeagueTimer
A "League of Legends" jungle timer for dual monitor setup.