Rename rng_librandom.jl to librandom.jl

In general, now that we have modules, wrappers around external libraries should just be named <library_name>.jl, and the user facing routines should just call these wrapped functions.
Sacha0 · Sep 22, 2012 · f7f4a16 · f7f4a16
1 parent 06aef26
commit f7f4a16
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/extras/rng_librandom.jl → extras/librandom.jl b/extras/rng_librandom.jl → extras/librandom.jl
diff --git a/extras/rng.jl b/extras/rng.jl
@@ -1,4 +1,4 @@
-require("rng_librandom.jl")
+require("librandom.jl")
 
 const librandom = dlopen("librandom")