mirror of
https://github.com/mruby/mruby
synced 2026-06-08 16:11:16 +00:00
Merge pull request #4670 from shuujii/remove-unused-random.h
Remove unused `random.h`
This commit is contained in:
@@ -1,12 +0,0 @@
|
||||
/*
|
||||
** random.h - Random module
|
||||
**
|
||||
** See Copyright Notice in mruby.h
|
||||
*/
|
||||
|
||||
#ifndef MRUBY_RANDOM_H
|
||||
#define MRUBY_RANDOM_H
|
||||
|
||||
void mrb_mruby_random_gem_init(mrb_state *mrb);
|
||||
|
||||
#endif
|
||||
Reference in New Issue
Block a user