renaming Mnesia/ to mnesia/
This commit is contained in:
parent
3c15d3a370
commit
f59d59814a
4 changed files with 68 additions and 0 deletions
6
mnesia/gamedb.hrl
Normal file
6
mnesia/gamedb.hrl
Normal file
|
@ -0,0 +1,6 @@
|
|||
%% gamedb.hrl
|
||||
|
||||
-record(player, {id, name}).
|
||||
|
||||
|
||||
|
Reference in a new issue