1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-08-01 17:38:41 +00:00

Fix lint since recent player to db merge

This commit is contained in:
Loic Blot 2017-04-23 16:22:53 +02:00
parent 29ab20c272
commit d7ddceac73
No known key found for this signature in database
GPG key ID: EFAA458E8C153987
4 changed files with 7 additions and 4 deletions

View file

@ -51,11 +51,13 @@ src/craftdef.cpp
src/craftdef.h
src/database.cpp
src/database-dummy.cpp
src/database-files.cpp
src/database-leveldb.cpp
src/database-postgresql.cpp
src/database-postgresql.h
src/database-redis.cpp
src/database-sqlite3.cpp
src/database-sqlite3.h
src/daynightratio.h
src/debug.cpp
src/debug.h