Home
last modified time | relevance | path

Searched defs:make_filename2 (Results 1 – 2 of 2) sorted by relevance

/dports/japanese/today/ja-today-2.12_2/
H A Dmisc.c1116 const char *make_filename2(const char *basename, int year, int month, int day) in make_filename2() function
/dports/math/cado-nfs/cado-nfs-f4284e2391121b2bfb97bc4880b6273c7250dc2f/scripts/cadofactor/
H A Dcadotask.py472 def make_filename2(self, jobname=None, taskname=None, filename=None): member in WorkDir