This repository has been archived on 2023-06-18. You can view files and clone it, but cannot push or open issues or pull requests.
ima02/resources/defects4j-checkout-closure-1f/contrib/externs
github-classroom[bot] e42e547e48
Initial commit
2023-04-25 11:33:41 +00:00
..
api/gadgets Initial commit 2023-04-25 11:33:41 +00:00
maps Initial commit 2023-04-25 11:33:41 +00:00
angular.js Initial commit 2023-04-25 11:33:41 +00:00
chrome_extensions.js Initial commit 2023-04-25 11:33:41 +00:00
facebook_javascript_sdk.js Initial commit 2023-04-25 11:33:41 +00:00
fileapi_synchronous.js Initial commit 2023-04-25 11:33:41 +00:00
fullscreen.js Initial commit 2023-04-25 11:33:41 +00:00
google_analytics_api.js Initial commit 2023-04-25 11:33:41 +00:00
google_loader_api.js Initial commit 2023-04-25 11:33:41 +00:00
google_maps_api_v2.js Initial commit 2023-04-25 11:33:41 +00:00
google_youtube_iframe.js Initial commit 2023-04-25 11:33:41 +00:00
jquery-1.3.2.externs.js Initial commit 2023-04-25 11:33:41 +00:00
jquery-1.4.3.js Initial commit 2023-04-25 11:33:41 +00:00
jquery-1.4.4.js Initial commit 2023-04-25 11:33:41 +00:00
jquery-1.5.js Initial commit 2023-04-25 11:33:41 +00:00
jquery-1.6.js Initial commit 2023-04-25 11:33:41 +00:00
jquery-1.7.js Initial commit 2023-04-25 11:33:41 +00:00
jquery-1.8.js Initial commit 2023-04-25 11:33:41 +00:00
json.js Initial commit 2023-04-25 11:33:41 +00:00
mediasource.js Initial commit 2023-04-25 11:33:41 +00:00
silverlight.js Initial commit 2023-04-25 11:33:41 +00:00
underscore-1.3.1.js Initial commit 2023-04-25 11:33:41 +00:00
w3c_audio.js Initial commit 2023-04-25 11:33:41 +00:00
w3c_eventsource.js Initial commit 2023-04-25 11:33:41 +00:00
w3c_speech.js Initial commit 2023-04-25 11:33:41 +00:00
w3c_web_intents.js Initial commit 2023-04-25 11:33:41 +00:00
webkit_console.js Initial commit 2023-04-25 11:33:41 +00:00
youtubeplayer.js Initial commit 2023-04-25 11:33:41 +00:00