class BUILD_INFO
Build specification
GENERATED FILE. Do not edit
note
description: "Build specification"
notes: "GENERATED FILE. Do not edit"
author: "Python module: eiffel_loop.eiffel.ecf.py"
date: "2022-02-06 10:29:23 GMT (Sunday 6th February 2022)"
revision: "1"
class
BUILD_INFO
inherit
EL_BUILD_INFO
create
make
feature -- Constants
Version_number: NATURAL = 02_00_00
Build_number: NATURAL = 133
Installation_sub_directory: EL_DIR_PATH
once
Result := "Leder/PF_HP"
end
end