diff options
| author | Yukihiro "Matz" Matsumoto <[email protected]> | 2019-08-26 19:17:38 +0900 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-08-26 19:17:38 +0900 |
| commit | cd969983726b76082b6cb756d4e779329534ca5f (patch) | |
| tree | 87ce734fe25297bc3cd17751d33e47e5e7aff9d6 | |
| parent | 2d09fd2135e4fb9230a62e2af1ff28d450f3184a (diff) | |
| parent | b9350f908f1d879bb52120872ac80bfb8de91e98 (diff) | |
| download | mruby-cd969983726b76082b6cb756d4e779329534ca5f.tar.gz mruby-cd969983726b76082b6cb756d4e779329534ca5f.zip | |
Merge pull request #4670 from shuujii/remove-unused-random.h
Remove unused `random.h`
| -rw-r--r-- | mrbgems/mruby-random/src/random.h | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/mrbgems/mruby-random/src/random.h b/mrbgems/mruby-random/src/random.h deleted file mode 100644 index a4785ae5a..000000000 --- a/mrbgems/mruby-random/src/random.h +++ /dev/null @@ -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 |