- WIP on Lean's definitions autoload

This commit is contained in:
Dave M. 2023-10-17 17:21:03 +00:00
parent 6be483dcf7
commit 406694ce51
1 changed files with 9 additions and 0 deletions

View File

@ -16,5 +16,14 @@
"psr-4": { "psr-4": {
"Lean\\Console\\": "src/" "Lean\\Console\\": "src/"
} }
},
"extra" : {
"lean" : {
"autoload": {
"definition" : [
{ "\\Lean\\Console\\Lean" : "definitions" }
]
}
}
} }
} }