mirror of
https://github.com/redis/RedisDesktopManager.git
synced 2026-10-25 09:29:49 +08:00
12 lines
212 B
Python
12 lines
212 B
Python
import sys
|
|
import fileinput
|
|
|
|
if len(sys.argv) != 2 :
|
|
print "Usage: %version%"
|
|
quit()
|
|
|
|
print """
|
|
#ifndef RDM_VERSION
|
|
#define RDM_VERSION "{0}"
|
|
#endif // !RDM_VERSION
|
|
""".format(sys.argv[1]) |