An error occurred while fetching folder content.
Select Git revision
pugs
-
-
- Open in your IDE
- Download source code
Stéphane Del Pino authored
The subscript initialization checker is definitely not satisfactory, but it is an on going fact: many treatment (none trivial ones should be performed). By now it is just a simple helper, and should require much improvements. Not sure that it is the right strategy. One should maybe force initialization... However, this is a second-order question that should be addressed in a far(?) future.
Name | Last commit | Last update |
---|