|
|
2c40387e03
|
Remove the useless caching in the plugin manager and the maps in plugins
|
2017-08-06 21:55:09 -07:00 |
|
|
|
b78707a0f4
|
Format code.
|
2017-08-04 13:20:57 -07:00 |
|
|
|
8891b04598
|
Add comments to all the pi-related stuff.
|
2017-08-04 11:24:07 -07:00 |
|
|
|
276b6719fd
|
Implement a getPi function for the plugin, and use the new pi value.
|
2017-08-04 09:55:24 -07:00 |
|
|
|
8a79d0c2df
|
Add the number implementation to the plugin manager, and use it.
|
2017-08-03 21:05:25 -07:00 |
|
|
|
542f062b5e
|
Remove old reference to the promotion system and the number class map.
|
2017-08-03 20:50:39 -07:00 |
|
|
|
7dda1f2fcf
|
Add the list of number interface providers to Plugins.
|
2017-08-03 14:10:04 -07:00 |
|
|
|
a278e5bb9a
|
Format code.
|
2017-07-30 21:11:32 -07:00 |
|
|
|
bce469ec8d
|
Move the source files into a new default directory.
|
2017-07-29 23:44:21 -07:00 |
|
