Index of /datosabiertos/src/frontend/node_modules/es5-ext/number/is-integer

	Name	Last modified	Size	Description
	Parent Directory		-
	implement.js	2023-04-12 14:52	194
	index.js	2023-04-12 14:52	102
	is-implemented.js	2023-04-12 14:52	200
	shim.js	2023-04-12 14:52	183