You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
5 lines
105 B
5 lines
105 B
# contributor: Li Zhu <http://www.zhuli.name>
|
|
# name: double precision
|
|
# key: dp
|
|
# --
|
|
double precision $0
|